Works by Leon Henkin

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by Leon Henkin ( view other items matching `Leon Henkin`, view all matches )

19 found

Sort by:

Leon Henkin (1996). The Discovery of My Completeness Proofs. Bulletin of Symbolic Logic 2 (2):127-158.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1995). In Memoriam: Raphael Mitchel Robinson. Bulletin of Symbolic Logic 1 (3):340-343.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1975). Identity as a Logical Primitive. Philosophia 5 (1-2):31-45.
No categories
Direct download (4 more)

My bibliography

Export citation
Leon Henkin (1971). Cylindric Algebras. Amsterdam,North-Holland Pub. Co..
Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.
Logic and Philosophy of Logic
$83.25 used $146.54 new $162.82 direct from Amazon Amazon page
Direct download

My bibliography

Export citation
Leon Henkin (1967). Logical Systems Containing Only a Finite Number of Symbols. Montreal, Presses De l'Université De Montréal.
Logic and Philosophy of Logic

My bibliography

Export citation
Leon Henkin (1964). A Letter to Reviewer. Philosophia Mathematica (2):118-119.
Philosophy of Mathematics, Misc in Philosophy of Mathematics
Direct download (2 more)

My bibliography

Export citation
Leon Henkin (1963). An Extension of the Craig-Lyndon Interpolation Theorem. Journal of Symbolic Logic 28 (3):201-216.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1963). A Theory of Propositional Types. Fundamenta Mathematicae 52:323-334.
Ontology of Mathematics in Philosophy of Mathematics

My bibliography

Export citation
Leon Henkin (1962). Retracing Elementary Mathematics. New York, Macmillan.
Philosophy of Mathematics, Misc in Philosophy of Mathematics

My bibliography

Export citation
Leon Henkin (1957). A Generalization of the Concept of Ω-Completeness. Journal of Symbolic Logic 22 (1):1-14.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1956). Two Concepts From the Theory of Models. Journal of Symbolic Logic 21 (1):28-32.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Richard Montague & Leon Henkin (1956). On the Definition of `Formal Deduction'. Journal of Symbolic Logic 21 (2):129-136.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1954). A Generalization of the Concept of |Omega-Consistency. Journal of Symbolic Logic 19 (3):183 - 196.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
Leon Henkin (1953). Banishing the Rule of Substitution for Functional Variables. Journal of Symbolic Logic 18 (3):201-208.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1953). Some Notes on Nominalism. Journal of Symbolic Logic 18 (1):19-29.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Heinrich Scholz, G. Kreisel & Leon Henkin (1952). Problems. Journal of Symbolic Logic 17 (2):160.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
Leon Henkin (1950). Completeness in the Theory of Types. Journal of Symbolic Logic 15 (2):81-91.
Logic and Philosophy of Logic

Ontology of Mathematics in Philosophy of Mathematics

Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1949). Fragments of the Propositional Calculus. Journal of Symbolic Logic 14 (1):42-48.
Propositional Logic in Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
Leon Henkin (1949). The Completeness of the First-Order Functional Calculus. Journal of Symbolic Logic 14 (3):159-166.
Mathematical Logic in Formal Sciences

Predicate Logic in Logic and Philosophy of Logic

Direct download (3 more)

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

RSS feed

About PhilPapers

	Institute of Philosophy School of Advanced Study University of London
	Centre for Consciousness Australian National University

General Editors:
David Bourget (London)
David Chalmers (ANU, NYU)

Area Editors:
Anthony Beavers
David Bourget
Berit Brogaard
Margaret Cameron
David Chalmers
Gabriele Contessa
Rafael De Clercq
Catarina Dutilh Novaes
Pablo Gilabert
Hans Halvorson
Jonathan Ichikawa
Jonathan Kvanvig
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Michiru Nagatsu
Susana Nuccetelli
Gualtiero Piccinini
Darrell Rowbottom
Constantine Sandis
Jonathan Schaffer
Thomas Senor
Robin Smith
Robert Sparrow
Daniel Star
Jussi Suikkanen
Lynne Tirrell
John Simpson Wilkins

Other editors
Contact us
Learn more about PhilPapers

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy

Works by Leon Henkin ( view other items matching `Leon Henkin`, view all matches )