Freunden von diesem Artikel berichten:
Metalogic: An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter
Preis
SFr. 37,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 6. - 14. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Geoffrey Hunter
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 anzeigenAlle Titel von Geoffrey Hunter ansehen ( u. a. Taschenbuch und Gebundenes Buch )