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

  • Erstausgabe
  • Softcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 2. November 2000

Verbandsmitglied: ABFILAB

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Gebraucht

EUR 165,36

EUR 42,00 Versand 
Versand von Dänemark nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

(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

Bibliografische Details

Titel
The Completeness of the First-Order Functional Calculus. - [THE HENKIN'S COMPLETENESS PROOF]
Autor
"HENKIN, LEON.
Einband
Softcover
Ausgabe
1. Auflage
Verkäuferkataloge
Philosophy

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

Copenhagen, Dänemark

Verkäufer/-in mit 4 Sternen

AbeBooks-Verkäufer/-in seit 2. November 2000

Verbandsmitglied:

Versandkosten von Dänemark nach USA

Artikel7 bis 14 Werktage2 bis 4 Werktage
Erster ArtikelEUR 42,00EUR 61,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal

Shop-Beschreibung

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.

Spezialisierung

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

Verbandsmitglied

  • Den Danske Antikvarboghandlerforening
  • International League of Antiquarian Booksellers
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Herman H. J. Lynge & Søn A/S

Silkegade 11
Copenhagen, Dänemark 1113