(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.

Bestandsnummer des Verk�ufers 49022

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

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

Einband

Softcover

Auflage

1. Auflage

Verk�uferkataloge

Philosophy

Anbieterinformationen

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.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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.

Versandbedingungen

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.

Zahlungsarten

PayPal Bank�berweisung

Zu Kaufgesuchen hinzuf�gen