Metalogic

Autor*innen

• Geoffrey Hunter

Parameter

• 302 Seiten
• 11 Lesestunden

• Logik
• Mathematik
• Philosophie
• Sachliteratur

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 1992
• Einband: Paperback