☰

Leon Albert Henkin

Affiliations: 
University of California, Berkeley, Berkeley, CA, United States 
Google:
"Leon Henkin"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Paulo Augusto Silva Veloso grad student 1973-1974 University of California System
María Gracia Manzano Arjona post-doc 1977-1978 University of Berkeley

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Henkin L. (1996) The Discovery of My Completeness Proofs The Bulletin of Symbolic Logic. 2: 127-158
Henkin L, Monk JD, Tarski A. (1986) Representable cylindric algebras Annals of Pure and Applied Logic. 31: 23-60
Henkin L, Leonard WA. (1978) A Euclidean Construction Mathematics Magazine. 51: 294-298
Henkin L, Resek D. (1975) Relativization of cylindric algebras Fundamenta Mathematicae. 82: 363-383
Henkin L. (1963) An Extension of the Craig-Lyndon Interpolation Theorem Journal of Symbolic Logic. 28: 201-216
Henkin L. (1957) Hintikka K. Jaakko. An application of logic to algebra. Mathematica scandinavica , vol. 2 (1954), pp. 243–246. Journal of Symbolic Logic. 22: 216-217
Henkin L. (1956) Two Concepts From the Theory of Models Journal of Symbolic Logic. 21: 28-32
Henkin L. (1955) Asser Günter. Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 1 (1955), pp. 3–28. Journal of Symbolic Logic. 20: 282
Henkin L. (1955) Beth E. W.. Sur le parallélisme logico-mathématique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 27–32.Bernays Paul, Beth E. W., Robinson Abraham. Discussion. Ibid., pp. 32–33. Journal of Symbolic Logic. 20: 184-185
Henkin L. (1955) The Representation Theorem for Cylindrical Algebras Studies in Logic and the Foundations of Mathematics. 16: 85-97
See more...