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. It includes an appendix on consistency proofs for first-order arithmetic, enriching the learning experience with historical perspectives. Additionally, the book presents a variety of new exercises that cater to different skill levels, enhancing both understanding and application of mathematical logic concepts.

Per saperne di più

Lingua: Inglese

Pubblicato: 2024

(In brossura)