Introduction to Mathematical Logic

Autori

• Elliott Mendelson

Parametri

Pagine

514pagine

Tempo di lettura

18ore

• Filosofia
• Libri di testo
• Manuali e guide
• Matematica
• Saggistica

Maggiori informazioni sul libro

The sixth edition of this classic textbook offers a comprehensive introduction to mathematical logic, featuring recent developments such as Gödel's second incompleteness theorem and an appendix on consistency proofs for first-order arithmetic. It includes historical insights and a variety of new exercises that cater to different skill levels, enhancing students' practical understanding of the subject matter.

Per saperne di più

Lingua: Inglese

Pubblicato: 2015

(Copertina rigida)