(Wisconsin), The Association for Symbolic Logic, 1949. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 14. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. 159-66. [Entire volume: IV, 284 pp.). First printing of Henkin's important paper which his version of the proof of the semantic completeness of standard systems of first-order logic, today known as the "Henkin's completeness proof":Gödel published a version of the proof in 1930 but Henkin's was much easier to survey than Gödel's and has thus become the standard choice of completeness proof for presentation in introductory classes and texts.

Seller Inventory # 49022

Contact seller about this item

Report this item

Bibliographic details

Title: The Completeness of the First-Order Functional Calculus. - [THE HENKIN'S COMPLETENESS PROOF]
Author: "HENKIN, LEON.
Binding: Soft cover
Edition: 1st Edition
Seller catalogs: Philosophy

Herman H. J. Lynge & Søn ILAB-ABF

Copenhagen, Denmark

4-star seller

AbeBooks seller since November 2, 2000

Association member:

Shipping rates from Denmark to U.S.A.

Item	7 to 14 business days	2 to 4 business days
First item	US$ 48.84	US$ 70.93

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

Bank Wire Transfer
Paypal

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.

Specialty

Old & rare books, History, Science, Linguistics, Philosophy, Religion, Medicine, Law, Archaeology, Travels

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, Denmark 1113

Contact sellerView this seller's itemsView seller's storefront

The Completeness of the First-Order Functional Calculus. - [THE HENKIN'S COMPLETENESS PROOF]

Item description from seller