Logic of Provability

Boolos, George S. (Massachusetts Institute of Technology) | Autoři

Vše od Cambridge University Press
ISBN: 9780521483254

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...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 063 Kč

1 - 2 ks
1 063 Kč
3 - 10 ks
1 052 Kč
11 a více ks
1 042 Kč

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 063 Kč

Nepřehlédněte od Cambridge University Press

Více o produktu

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.

Výrobce
Cambridge University Press
Jazyk
United Kingdom
Autor
Boolos, George S. (Massachusetts Institute of Technology)
Rozměry
155 x 228 x 19
Rok vydání
1995
Počet stran
316
Obsah
Paperback / softback
Hmotnost
484
Počet stran
316 pages, Worked examples or Exercises

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Logic of Provability a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!