Leon Henkin
Books
- The axiomatic method
- Retracing Elementary Mathematics
- Retracing elementary mathematics
- Logical systems containing only a finite number of symbols (Seminaire de mathematiques superieures)
- The Axiomatic Method, with Special Reference to Geometry and Physics
- Logical systems containing only a finite number of symbols
- Mathematics
- Logical systems containing only a finite number of symbols
- Theory of Models
- Retracing elementary mathematics
- Cylindric algebras
- La structure algébrique des théories mathématiques
Author data: Open Library