Leon Henkin
· 12 obras en el catálogo
Obras

Logical systems containing only a finite number of symbols
Retracing elementary mathematics

The axiomatic method
Theory of Models
Retracing Elementary Mathematics

The Axiomatic Method, with Special Reference to Geometry and Physics

Logical systems containing only a finite number of symbols (Seminaire de mathematiques superieures)

Mathematics

Retracing elementary mathematics
