Metalogic

Autori

• Geoffrey Hunter

Parametri

• Filosofia
• Logica
• Matematica
• Saggistica

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 1992

(In brossura)