phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Proof Theory

Limba englezăengleză
Carte Carte broșată
Carte Proof Theory Takeuti
Codul Libristo: 02569150
Editura Dover Publications Inc., ianuarie 2013
Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Descrierea completă
? points 56 b
130 lei ▸ -14 %
112 lei
În depozitul extern Expediem în 9-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
The Little Guide to Coco Chanel Orange Hippo! / Copertă tare
common.buy 38 lei
top
Wealth of Nations Adam Smith / Carte broșată
common.buy 28 lei
top
Building Microservices Sam Newman / Carte broșată
common.buy 345 lei
top
Sailor Moon 2 Naoko Takeuchi / Carte broșată
common.buy 61 lei
top
Titanic Coloring Book P F Copeland / Carte broșată
common.buy 27 lei
top
New History of Western Philosophy Anthony Kenny / Carte broșată
common.buy 103 lei
Take One Fish Josh Niland / Copertă tare
common.buy 151 lei
Don't Tickle the Lion! Sam Taplin / Cărți pliante
common.buy 76 lei
How to Create Manga: Drawing Facial Expressions / Carte broșată
common.buy 82 lei
Clinical Orthoptics 3e Fiona J Rowe / Carte broșată
common.buy 476 lei
Prison School, Vol. 12 Akira Hiramoto / Carte broșată
common.buy 91 lei
Category Theory in Context Riehl / Carte broșată
common.buy 155 lei
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems Kurt Godel / Carte broșată
common.buy 109 lei
Axiom of Choice Thomas J Jech / Carte broșată
common.buy 70 lei
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies Alfred S. Posamentier / Carte broșată
common.buy 148 lei
Stalin's Apologist / Copertă tare
common.buy 215 lei

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

Informații despre carte

Titlu complet Proof Theory
Autor Takeuti
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 384
EAN 9780486490731
ISBN 0486490734
Codul Libristo 02569150
Editura Dover Publications Inc.
Greutatea 622
Dimensiuni 152 x 229 x 26

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo