[QUINE:] Completeness of the Propositional Calculus (+) On the Theory of Types (+) [KLEENE:] On Notation for Ordinal Numbers.
by QUINE, WILLARD ORMAN VAN (+) S. C. KLEENE
- Used
- first
- Condition
- See description
- Seller
-
Copenhagen, Denmark
Payment Methods Accepted
About This Item
1937. (Wisconsin), The Association for Symbolic Logic, 1937. Lex8vo. Original printed wrappers, no backstrip. In "The Journal of Symbolic Logic, Volume 3, 1938." Entire issue offered. Internally very fine and clean. [Quine:] Pp. 37-40; Pp. 125-39. [Entire issue: IV, 212 pp.]. First printing of these papers which include Kleene's milestone paper in which Kleene's O (Ordial numbers), a recursive function, is introduced. In set theory and computability theory, Kleene's is a canonical subset of the natural numbers when regarded as ordinal notations."In the seventeenth century, Leibniz envisaged a universal language that would allow one to reduce mathematical proofs to simple computations. Then, during the nineteenth century, llgicians such as Charles Babbage, Boole, Frege and Peano tried to formalize mathematical reasoning by an "algebraization" of logic. Finally, [...] Gödel, Church and Stephen Kleene introduced the notion of recursive functions. (The Princeston Companion to Mathematics. P. 111).
Details
- Bookseller
- Herman H. J. Lynge & Son (DK)
- Bookseller's Inventory #
- 44914
- Title
- [QUINE:] Completeness of the Propositional Calculus (+) On the Theory of Types (+) [KLEENE:] On Notation for Ordinal Numbers.
- Author
- QUINE, WILLARD ORMAN VAN (+) S. C. KLEENE
- Book Condition
- Used
- Date Published
- 1937
Terms of Sale
Herman H. J. Lynge & Son
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
About the Seller
Herman H. J. Lynge & Son
Biblio member since 2017
Copenhagen
About Herman H. J. Lynge & Son
Herman H. J. Lynge & Son A/S was founded 1821 in Copenhagen, and has been a member of the Danish Antiquarian Booksellers Association (ABF) and International League of Antiquarian Booksellers (ILAB-LILA) since their beginning.
Glossary
Some terminology that may be used in this description includes: