phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Proof Theory

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Proof Theory Takeuti
Libristo kód: 02569150
Nakladatelství Dover Publications Inc., ledna 2013
Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Celý popis
? points 59 b
589 Kč
Skladem u dodavatele Odesíláme za 9-13 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Wealth of Nations Adam Smith / Brožovaná
common.buy 136 Kč
TOP
Sailor Moon 2 Naoko Takeuchi / Brožovaná
common.buy 298 Kč
TOP
The Little Guide to Coco Chanel Orange Hippo! / Pevná
common.buy 213 Kč
Building Microservices Sam Newman / Brožovaná
common.buy 1 519 Kč
Titanic Coloring Book P F Copeland / Brožovaná
common.buy 116 Kč
Don't Tickle the Lion! Sam Taplin / Leporelo
common.buy 357 Kč
Take One Fish Josh Niland / Pevná
common.buy 797 Kč
New History of Western Philosophy Anthony Kenny / Brožovaná
common.buy 929 Kč
How to Create Manga: Drawing Facial Expressions / Brožovaná
common.buy 396 Kč
Clinical Orthoptics 3e Fiona J Rowe / Brožovaná
common.buy 2 479 Kč
Red Team Development and Operations James Tubberville / Brožovaná
common.buy 437 Kč
Category Theory in Context Riehl / Brožovaná
common.buy 684 Kč
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems Kurt Godel / Brožovaná
common.buy 538 Kč
Prison School, Vol. 12 Akira Hiramoto / Brožovaná
common.buy 403 Kč
Axiom of Choice Thomas J Jech / Brožovaná
common.buy 314 Kč
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies Alfred S. Posamentier / Brožovaná
common.buy 768 Kč

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1. First Order Predicate Calculus 2. Peano Arithmetic Part II. Second Order and Finite Order Systems 3. Second Order Systems and Simple Type Theory 4. Infinitary Logic Part III. Consistency Problems 5. Consistency Proofs 6. Some Applications of Consistency Proofs Postscript Appendix Index

Informace o knize

Plný název Proof Theory
Autor Takeuti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 384
EAN 9780486490731
ISBN 0486490734
Libristo kód 02569150
Nakladatelství Dover Publications Inc.
Váha 622
Rozměry 152 x 229 x 26

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet