Filosofi & religion
Pocket
The Logic of Provability
George S Boolos • George S Boolos • Boolos George S
549:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9780521483254
- Språk: Engelska
- Antal sidor: 316
- Utgivningsdatum: 1995-04-28
- Förlag: Cambridge University Press