The Logic of Provability
Häftad, Engelska, 1995
Av George S. (Massachusetts Institute of Technology) Boolos, George S. Boolos, Boolos George S.
539 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum1995-04-28
- Mått228 x 155 x 19 mm
- Vikt484 g
- FormatHäftad
- SpråkEngelska
- Antal sidor316
- FörlagCambridge University Press
- ISBN9780521483254