The Logic of Provability

Autori

• George S Boolos
• John P Burgess
• Richard C Jeffrey

Parametri

• Filosofia
• Libri di testo
• Logica
• Matematica
• Scienza

Maggiori informazioni sul libro

This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians.

Per saperne di più

Lingua: Inglese

Pubblicato: 1995

(In brossura)