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 - Väzba: Brožovaná
- Počet strán: 384
Nakladateľ: Dover Publications Inc., 2013
- Viac informácií o knihe
18.22 €
Bežne: 24.33 €
Ušetríte 6.11 €
Dostupnosť:
50 % šanca
Máme informáciu, že by titul mohol byť dostupný. Na základe vašej objednávky sa ho pokúsime do 6 týždňov zabezpečiť.Prehľadáme celý svet
Mohlo by sa vám tiež páčiť
-
Berserk Deluxe Volume 2
33.10 € -31 % -
Paradise Kiss
25.81 € -13 % -
Witch Hat Atelier 2
10.62 € -20 % -
Five Nights at Freddy's: Survival Logbook
10.32 € -22 % -
Wealth of Nations
7.18 € -9 % -
Brown Bear, Brown Bear, What Do You See?
8.50 € -24 % -
Demon in White
18.52 € -29 % -
Cyclonopedia
16.90 € -24 % -
Sailor Moon 2
10.01 € -24 % -
Eros and Mysteries of Love
14.77 € -25 % -
New History of Western Philosophy
22.27 € -25 % -
The Little Guide to Coco Chanel
6.77 € -30 % -
Maybe
14.07 € -25 % -
Become A Hangeul Master
33.30 € -
Take One Fish
28.04 € -27 % -
Clinical Orthoptics 3e
69.86 € -9 % -
Batman by Scott Snyder and Greg Capullo Omnibus Volume 1
84.34 € -27 % -
Zodiac Academy
23.69 € -22 % -
The Trouble With Being Born
12.75 € -25 % -
How to Prove It
45.56 € -5 % -
Garfield Fat Cat #24
14.07 € -25 % -
The Power of the Powerless
8.90 € -20 % -
English for Everyone Business English Practice Book Level 1
11.33 € -18 % -
The Complete Book of Demonolatry
31.18 € -7 % -
Prison School, Vol. 12
14.88 € -24 % -
Heavenly Tyrant
18.93 € -8 % -
Japanese Candlestick Charting Techniques
78.67 € -27 % -
The Savage Sword of Conan: The Original Comics Omnibus Vol.3
109.25 € -21 % -
Ways of Being
16.90 € -3 % -
Building Microservices
56.19 € -25 % -
Understanding Chess Middlegames
19.63 € -24 % -
Penguin History of the World
19.74 € -24 % -
How to Create Manga: Drawing Facial Expressions
13.46 € -24 % -
Solving the Procrastination Puzzle
11.53 € -27 % -
Proofs and Refutations
21.05 € -24 % -
Conceptual Mathematics
68.14 € -
How to Be Ace
15.48 € -25 % -
Calamity
15.48 € -25 % -
How High We Go in the Dark
9.81 € -31 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
20.95 € -
Rise of Christianity
14.77 € -25 % -
Type Theory and Formal Proof
95.18 € -
Little Book for Plant Parents
9.31 € -25 % -
SINGAPORE E13
20.04 € -9 % -
Don't Tickle the Lion!
15.69 € -15 % -
Dark Days
3.74 € -24 % -
Asadora!, Vol. 5
11.84 € -25 % -
Witchcraft Therapy Oracle Flash Cards (Deck)
14.77 € -25 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.31 € -
Red Team Development and Operations
12.34 € -7 % -
Crucial Interventions
29.56 € -13 % -
Moral Tribes
13.96 € -24 % -
Category Theory in Context
25.10 € -25 % -
Birds of Japan
60.54 € -
Struggle for the Middle Sea
23.08 € -24 % -
Titanic Coloring Book
4.55 € -25 % -
1,000 Places to See Before You Die
21.05 € -29 % -
Sweet & Bitter Magic
9.71 € -29 % -
Sankarea Vol. 10
10.62 € -9 % -
Ima Koi: Now I'm in Love, Vol. 6
6.77 € -31 % -
Dream Worlds: Production Design for Animation
55.68 € -25 % -
How to eat a peach
29.76 € -29 % -
Debbie Macomber's Holly Jolly Christmas Coloring Book
14.47 € -26 % -
Speaking B1+ (bez CD)
14.98 € -25 % -
My Little Pony: 5-Minute Stories
12.75 € -25 % -
Categories for the Working Mathematician
67.53 € -
Learning the Violin, Book One: Expanded Edition
11.53 € -6 % -
Anxiety Workbook
11.84 € -25 % -
Interactive Theorem Proving and Program Development
95.68 € -
Approaches and Methods in Language Teaching
48.90 € -25 % -
ISO 14001 Step by Step
28.65 € -6 % -
Informal Logic
40.19 € -
Examined Life
14.07 € -25 % -
Arbus / Friedlander / Winogrand
40.90 € -14 % -
Usborne First Experiences Going To School Mini Edition
6.77 € -
How to Hide a Lion at Christmas PB
7.69 € -31 % -
Axiom of Choice
11.33 € -24 % -
Architecture of Closed Worlds
37.96 € -25 % -
Introduction to Proof Theory
37.56 € -
The Alien Agendas: A Speculative Analysis of Those Visiting Earth
18.32 € -7 % -
How to Write a Ba Thesis, Second Edition
29.25 € -
Argumentation Schemes
48.70 € -
Cosmic Fusion
21.76 € -24 % -
Postdramatic Theatre
77.96 €
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Informovať o naskladnení knihy
Zašleme vám správu akonáhle knihu naskladníme
Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.
Viac informácií o knihe Proof Theory
Nákupom získate 44 bodov
Anotácia 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
Parametre knihy
Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations
18.22 €
- Celý názov: Proof Theory
- Autor: Takeuti
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 384
- EAN: 9780486490731
- ISBN: 0486490734
- ID: 02569150
- Nakladateľ: Dover Publications Inc.
- Hmotnosť: 622 g
- Rozmery: 229 × 152 × 26 mm
- Dátum vydania: 01. January 2013
Obľúbené z iného súdka
-
Teaching Multiplication Using LEGO(R) Bricks
19.63 € -7 % -
Introduction to Logic and to the Methodology of Deductive Sciences
12.04 € -
Goedel's Proof
13.46 € -24 % -
To Mock a Mockingbird: and Other Logic Puzzles
14.47 € -24 % -
Logic: A Very Short Introduction
10.01 € -24 % -
Beginner's Guide to Mathematical Logic
22.27 € -25 % -
Introduction to Mathematical Logic
21.66 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.85 € -
Categories for Types
91.33 € -
Limitless Mind
16.90 € -25 % -
Elements of Mathematics
23.79 € -2 % -
Set Theory
25.81 € -9 % -
Naive Set Theory
9.81 € -
Taking Sudoku Seriously
35.03 € -
Sets for Mathematics
68.14 € -
Naive Set Theory
10.32 € -
From Frege to Goedel
60.34 € -
Lattice Theory: Special Topics and Applications
109.45 € -
Schaum's Outline of Boolean Algebra and Switching Circuits
24.50 € -17 % -
Model Theory : An Introduction
63.48 € -
Model Theory
25.10 € -25 % -
Foundations of Mathematics and Other Logical Essays
17.51 € -
First-order Logic
8.60 € -24 % -
Naive Set Theory
11.84 € -25 % -
Math Mammoth Grade 4-B Worktext
21.15 € -25 % -
Lambda-Calculus and Combinators
91.33 € -
Illustrated Book of Bad Arguments
12.75 € -24 % -
Can You Solve My Problems?
11.84 € -25 % -
Foundations of Geometry
9.81 € -
Foundation Maths
70.77 € -
Topoi
21.56 € -25 % -
Undecidable Theories
11.33 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.31 € -
Algebraic Logic
11.33 € -15 % -
Set Theory and the Continuum Hypothesis
11.33 € -24 % -
Haskell Road to Logic, Maths and Programming
25.20 € -10 % -
Gödel's Incompleteness Theorems
60.75 € -
Mathematical Logic
80.59 € -
Lattice Theory: Foundation
80.29 € -
Handbook of Epistemic Logic
29.86 € -10 % -
Introduction to Modern Set Theory
11.33 € -
Axiomatic Set Theory
12.75 € -24 % -
Computability and Logic
43.03 € -
Numerical Methods and Modelling for Engineering
65.61 € -
Problems and Theorems in Classical Set Theory
55.89 € -
Model Theory
96.09 € -
Course in Mathematical Logic
73.61 € -
Fathoming Formal Logic
32.39 € -2 % -
Course of Modern Analysis
28.34 € -1 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12542 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)