The Logic of Provability
Product Description
The Logic of Provability
- Used Book in Good Condition
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. Here it receives its first scientific application since its invention.
Technical Specifications
You might also like
Logic, Logic, and Logic
Computability and Logic
Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
Naive Set Theory
Category Theory for the Sciences (MIT Press)
Types and Programming Languages (MIT Press)
Basic Category Theory for Computer Scientists (Foundations of Computing)
An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)