(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). Seller Inventory # 44914

Contact seller

Report this item

Bibliographic Details

Title: [QUINE:] Completeness of the Propositional ...

Binding: Soft cover

Edition: 1st Edition

Store Description

Herman H. J. Lynge & S�n A/S was founded in 1821 and is the oldest antiquarian bookseller in Scandinavia. We specialize mainly in important and rare books in all fields of Science and the Humanities.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Herman H. J. Lynge & S�n A/S
Silkegade 11, Copenhagen, 1113, Denmark

Terms of Sale:

For sales inside The European Community: VAT (Value Added Tax) of 25% must be
added, unless we are provided with a registered VAT-no.
Books exported to countries outside The European Community are free of VAT.

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

PayPal Bank/Wire Transfer

Add to Wants