Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Proofs and Computations
Jazyk
Angličtina
Angličtina
Kniha
Pevná
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies...
Celý popis
Libristo kód: 04449225
?
248 b
248 b
2 476
Kč
včetně DPH
Skladem u dodavatele
Odesíláme za 19-25 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to
Informace o knize
Plný název
Proofs and Computations
Autor
Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2011
Počet stran
480
EAN
9780521517690
ISBN
0521517699
Libristo kód
04449225
Nakladatelství
Cambridge University Press
Váha
884
Rozměry
233 x 158 x 29
Kategorie
