Kód: 02569150
Proof Theory
Autor Takeuti
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 a ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 384
Nakladatelství: Dover Publications Inc., 2013
- Více informací o knize
441 Kč
Dostupnost:
50 % šance
Máme informaci, že by titul mohl být dostupný. Na základě vaší objednávky se ho pokusíme do 6 týdnů zajistit.Prohledáme celý svět
Mohlo by se vám také líbit
-
Berserk Deluxe Volume 2
837 Kč -
Paradise Kiss
529 Kč -
Witch Hat Atelier 2
240 Kč -
Five Nights at Freddy's: Survival Logbook
256 Kč -
Brown Bear, Brown Bear, What Do You See?
178 Kč -
Wealth of Nations
163 Kč -
Sailor Moon 2
242 Kč -
Eros and Mysteries of Love
334 Kč -
Maybe
341 Kč -
The Complete Book of Demonolatry
714 Kč -
Clinical Orthoptics 3e
1594 Kč -
Batman by Scott Snyder and Greg Capullo Omnibus Volume 1
2038 Kč -
Demon in White
416 Kč -
Zodiac Academy
536 Kč -
Cyclonopedia
381 Kč -
New History of Western Philosophy
467 Kč -
The Little Guide to Coco Chanel
153 Kč -
The Trouble With Being Born
288 Kč -
How to Prove It
1046 Kč -
The Power of the Powerless
186 Kč -
English for Everyone Business English Practice Book Level 1
219 Kč -
Japanese Candlestick Charting Techniques
1772 Kč -
Prison School, Vol. 12
359 Kč -
Garfield Fat Cat #24
319 Kč -
The Savage Sword of Conan: The Original Comics Omnibus Vol.3
2640 Kč -
Ways of Being
276 Kč -
Building Microservices
1268 Kč -
Understanding Chess Middlegames
476 Kč -
Become A Hangeul Master
701 Kč -
Heavenly Tyrant
350 Kč -
Penguin History of the World
443 Kč -
Take One Fish
630 Kč -
How to Create Manga: Drawing Facial Expressions
303 Kč -
Solving the Procrastination Puzzle
259 Kč -
Proofs and Refutations
475 Kč -
Conceptual Mathematics
1565 Kč -
How to Be Ace
349 Kč -
Calamity
350 Kč -
How High We Go in the Dark
227 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
440 Kč -
Type Theory and Formal Proof
2188 Kč -
Little Book for Plant Parents
210 Kč -
SINGAPORE E13
454 Kč -
Don't Tickle the Lion!
349 Kč -
Dark Days
89 Kč -
Asadora!, Vol. 5
267 Kč -
Witchcraft Therapy Oracle Flash Cards (Deck)
358 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
584 Kč -
Red Team Development and Operations
283 Kč -
Crucial Interventions
674 Kč -
Moral Tribes
293 Kč -
Category Theory in Context
568 Kč -
Birds of Japan
1273 Kč -
Struggle for the Middle Sea
520 Kč -
Titanic Coloring Book
96 Kč -
1,000 Places to See Before You Die
473 Kč -
Sweet & Bitter Magic
219 Kč -
Ima Koi: Now I'm in Love, Vol. 6
165 Kč -
Dream Worlds: Production Design for Animation
1167 Kč -
How to eat a peach
651 Kč -
Debbie Macomber's Holly Jolly Christmas Coloring Book
326 Kč -
Speaking B1+ (bez CD)
348 Kč -
My Little Pony: 5-Minute Stories
308 Kč -
Categories for the Working Mathematician
1551 Kč -
Learning the Violin, Book One: Expanded Edition
263 Kč -
Rise of Christianity
443 Kč -
Anxiety Workbook
255 Kč -
Interactive Theorem Proving and Program Development
2196 Kč -
Approaches and Methods in Language Teaching
1104 Kč -
ISO 14001 Step by Step
692 Kč -
Informal Logic
972 Kč -
Examined Life
319 Kč -
Arbus / Friedlander / Winogrand
988 Kč -
Usborne First Experiences Going To School Mini Edition
165 Kč -
How to Hide a Lion at Christmas PB
178 Kč -
Axiom of Choice
256 Kč -
Architecture of Closed Worlds
901 Kč -
Introduction to Proof Theory
816 Kč -
The Alien Agendas: A Speculative Analysis of Those Visiting Earth
444 Kč -
How to Write a Ba Thesis, Second Edition
707 Kč -
Argumentation Schemes
1178 Kč -
Cosmic Fusion
525 Kč -
Postdramatic Theatre
1884 Kč -
Basic Proof Theory
1505 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Informovat o naskladnění knihy
Zašleme vám zprávu jakmile knihu naskladníme
Zadejte do formuláře e-mailovou adresu a jakmile knihu naskladníme, zašleme vám o tom zprávu. Pohlídáme vše za vás.
Více informací o knize Proof Theory
Nákupem získáte 44 bodů
Anotace knihy
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
Parametry knihy
Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations
441 Kč
- Plný název: Proof Theory
- Autor: Takeuti
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 384
- EAN: 9780486490731
- ISBN: 0486490734
- ID: 02569150
- Nakladatelství: Dover Publications Inc.
- Hmotnost: 622 g
- Rozměry: 229 × 152 × 26 mm
- Datum vydání: 01. January 2013
Oblíbené z jiného soudku
-
Introduction to Logic and to the Methodology of Deductive Sciences
279 Kč -
Goedel's Proof
303 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
326 Kč -
Logic: A Very Short Introduction
225 Kč -
Beginner's Guide to Mathematical Logic
507 Kč -
Introduction to Mathematical Logic
489 Kč -
Categories for Types
2097 Kč -
Contributions to the Founding of the Theory of Transfinite Numbers
303 Kč -
Limitless Mind
410 Kč -
Elements of Mathematics
547 Kč -
Teaching Multiplication Using LEGO(R) Bricks
450 Kč -
Set Theory
589 Kč -
Naive Set Theory
228 Kč -
Taking Sudoku Seriously
880 Kč -
Sets for Mathematics
1565 Kč -
Naive Set Theory
239 Kč -
From Frege to Goedel
1334 Kč -
Lattice Theory: Special Topics and Applications
2646 Kč -
Model Theory : An Introduction
1457 Kč -
Schaum's Outline of Boolean Algebra and Switching Circuits
592 Kč -
Model Theory
567 Kč -
Foundations of Mathematics and Other Logical Essays
405 Kč -
First-order Logic
194 Kč -
Naive Set Theory
260 Kč -
Math Mammoth Grade 4-B Worktext
478 Kč -
Lambda-Calculus and Combinators
2101 Kč -
Illustrated Book of Bad Arguments
287 Kč -
Can You Solve My Problems?
248 Kč -
Foundations of Geometry
228 Kč -
Foundation Maths
1691 Kč -
Topoi
489 Kč -
Undecidable Theories
256 Kč -
Beginner's Further Guide To Mathematical Logic, A
584 Kč -
Algebraic Logic
274 Kč -
Set Theory and the Continuum Hypothesis
256 Kč -
Haskell Road to Logic, Maths and Programming
576 Kč -
Mathematical Logic
1758 Kč -
Gödel's Incompleteness Theorems
1399 Kč -
Lattice Theory: Foundation
2040 Kč -
Handbook of Epistemic Logic
682 Kč -
Introduction to Modern Set Theory
262 Kč -
Axiomatic Set Theory
359 Kč -
Computability and Logic
991 Kč -
Numerical Methods and Modelling for Engineering
1511 Kč -
Problems and Theorems in Classical Set Theory
1287 Kč -
Model Theory
2254 Kč -
Course in Mathematical Logic
3009 Kč -
Fathoming Formal Logic
744 Kč -
Course of Modern Analysis
650 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46611 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)