Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Bücher - University of California Press - 9780520023567 - 26. Juni 1973
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Geoffrey Hunter
Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Preis
SFr. 37,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 6. - 14. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

302 pages, Ill.

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 26. Juni 1973
ISBN13 9780520023567
Verlag University of California Press
Seitenanzahl 302
Maße 209 × 136 × 18 mm   ·   400 g
Sprache Englisch  

Weitere Titel von Geoffrey Hunter

Alle anzeigen

Alle Titel von Geoffrey Hunter ansehen ( u. a. Taschenbuch und Gebundenes Buch )