Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Proof Theory

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Proof Theory Takeuti
Libristo kód: 02569150
Nakladatelství Dover Publications Inc., leden 2013
Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Celý popis
? points 44 b
441 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Zákazníci také koupili

Basic Proof Theory Anne S. Troelstra / Kniha Brožovaná
common.buy 1 505 Kč
Top
Type Theory and Formal Proof Rob Nederpelt / Kniha Pevná
common.buy 2 188 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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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

Mohlo by vás také zajímat

Category Theory in Context Riehl / Kniha Brožovaná
common.buy 568 Kč
Axiom of Choice Thomas J Jech / Kniha Brožovaná
common.buy 256 Kč
Top
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems Kurt Godel / Kniha Brožovaná
common.buy 440 Kč
Categories for the Working Mathematician Saunders Mac Lane / Kniha Pevná
common.buy 1 291 Kč
How to Prove It Daniel J. Velleman / Kniha Pevná
common.buy 2 984 Kč
Top
How to Prove It Daniel J. Velleman / Kniha Brožovaná
common.buy 1 046 Kč
Top
Proofs and Refutations Imre Lakatos / Kniha Brožovaná
common.buy 475 Kč
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies Alfred S. Posamentier / Kniha Brožovaná
common.buy 584 Kč
Introduction to Proof Theory Mancosu / Kniha Brožovaná
common.buy 816 Kč
Handbook of Proof Theory S. R. Buss / Kniha Pevná
common.buy 4 477 Kč
Top
Wealth of Nations Adam Smith / Kniha Brožovaná
common.buy 163 Kč
Handbook of Proof Theory S.R. Buss / E-kniha Adobe ePub DRM
common.buy 4 682 Kč
Top
Conceptual Mathematics F William Lawvere / Kniha Brožovaná
common.buy 1 565 Kč
Interactive Theorem Proving and Program Development Yves Bertot / Kniha Pevná
common.buy 2 762 Kč
Interactive Theorem Proving and Program Development Yves Bertot / Kniha Brožovaná
common.buy 1 958 Kč
Proof Theory of N4-Paraconsistent Logics Heinrich (Universitat Leipzig) Wansing / Kniha Brožovaná
common.buy 588 Kč
Top
New History of Western Philosophy Anthony Kenny / Kniha Brožovaná
common.buy 467 Kč
Titanic Coloring Book P F Copeland / Kniha Brožovaná
common.buy 96 Kč
Examined Life Robert Nozick / Kniha Brožovaná
common.buy 319 Kč
Top
Clinical Orthoptics 3e Fiona J Rowe / Kniha Brožovaná
common.buy 1 594 Kč
Top
How to Create Manga: Drawing Facial Expressions Nextcreator Henshubu / Kniha Brožovaná
common.buy 303 Kč
Sankarea Vol. 10 Mitsuru Hattori / Kniha Brožovaná
common.buy 243 Kč
Top
The Power of the Powerless Václav Havel / Kniha Brožovaná
common.buy 186 Kč
Ima Koi: Now I'm in Love, Vol. 6 Ayuko Hatta / Kniha Brožovaná
common.buy 165 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?