Leon Henkin
Identifiers
- Open LibraryOL1790742A
Top Subjects
- Logic, Symbolic and mathematical (4)
- Mathematics (4)
- Symbolic and mathematical Logic (2)
- Number theory (2)
- Algebra, Abstract (1)
- Congresses (1)
- Philosophy (1)
Books by Leon Henkin
Total count: 12
-
La structure algébrique des théories mathématiques.Gauthier-Villars1956-01-01
-
The Axiomatic Method, with Special Reference to Geometry and PhysicsNorth-Holland Publishing Company1959-01-01
The axiomatic methodNorth-Holland1959-01-01
Retracing elementary mathematicsMacmillan1962-01-01-
Retracing Elementary MathematicsMacmillan Company1962-01-01
-
Retracing elementary mathematicsMacmillan1962-01-01
-
Logical systems containing only a finite number of symbolsPresses de l'Universitéde Montréal1967-01-01
-
Logical systems containing only a finite number of symbols (Seminaire de mathematiques superieures)Presses de l'Universite de Montreal1967-01-01
Logical systems containing only a finite number of symbolsPresses de l'Université de Montréal1967-01-01-
Cylindric algebras.[By] Leon Henkin, J. Donald Monk [and] Alfred Tarski.North-Holland Pub. Co.1971-01-01
-
MathematicsReport of the Project 2061 Phase I Mathematics Panel (AAAS publication)Amer Assn for the Advancement of1989-02-01
-
Theory of ModelsProceedings of the 1963 International Symposium at BerkeleyElsevier Science & Technology Books2014-01-01