Kod: 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 ... więcej
- Język:
Angielski - Oprawa: Miękka
- Liczba stron: 384
Wydawca: Dover Publications Inc., 2013
- Więcej informacji o książce
21.13 €
Zwykle: 26.07 €
Oszczędzasz 4.94 €
Dostępna u dostawcy
Wysyłamy za 9 - 13 dni
Zobacz książki o podobnej tematyce
-
Category Theory in Context
27.33 € -23 % -
Axiom of Choice
12.49 € -23 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
21.54 € -
Introduction to Proof Theory
40.85 € -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
28.35 € -
Wealth of Nations
5.89 € -21 % -
Titanic Coloring Book
4.97 € -18 % -
Proof Theory of N4-Paraconsistent Logics
27.43 € -
New History of Western Philosophy
35.67 € -
How to Create Manga: Drawing Facial Expressions
15.85 € -17 % -
Clinical Orthoptics 3e
90.76 € -
Don't Tickle the Lion!
14.22 € -24 % -
World Cup as World History
140.47 € -
The Double Alibi
16.86 € -2 % -
Prison School, Vol. 12
16.05 € -24 % -
European Arrest Warrant in Ireland
189.15 € -
The Little Guide to Coco Chanel
7 € -30 % -
Red Team Development and Operations
15.95 € -1 % -
Stalin's Apologist
43.29 € -5 % -
Take One Fish
28.25 € -21 % -
Building Microservices
67.38 € -16 % -
Sailor Moon 2
11.88 € -17 % -
Birds of Japan
58.13 € -
Sweet & Bitter Magic
10.66 € -18 % -
Asadora!, Vol. 5
12.29 € -22 % -
The Alien Agendas: A Speculative Analysis of Those Visiting Earth
20.73 € -1 % -
Diary of a Wimpy Kid: Diper OEverloede (Book 17)
13.51 € -19 % -
Garfield Fat Cat #24
14.63 € -24 % -
Debbie Macomber's Holly Jolly Christmas Coloring Book
16.05 € -20 % -
How High We Go in the Dark
9.04 € -24 % -
Heavenly Tyrant
19.10 € -5 % -
DEMON IN WHITE
21.54 € -20 % -
House Party
11.07 € -23 % -
Postdramatic Theatre
69.52 € -4 % -
Speaking B1+ (bez CD)
14.32 € -28 % -
Understanding Chess Middlegames
21.84 € -16 % -
German Mysticism from Hildegard of Bingen to Ludwig Wittgenstein
42.38 € -
Poly-Mva
5.17 € -18 % -
1,000 Places to See Before You Die
22.96 € -21 % -
Proof in Alonzo Church's and Alan Turing's Mathematical Logic
14.73 € -19 % -
Struggle for the Middle Sea
31.60 € -4 % -
Patagonia
18.18 € -15 % -
Become A Hangeul Master
33.94 € -
Secret Lives of Colour
20.42 € -28 % -
Usborne First Experiences Going To School Mini Edition
6.50 € -
Art Therapy: Disney Animals
15.85 € -8 % -
Approaches and Methods in Language Teaching
57.22 € -15 % -
Mary Poppins in the Park
8.43 € -18 % -
English for Everyone Business English Practice Book Level 1
10.76 € -20 % -
RHS Pruning and Training
20.83 € -18 % -
Arbus / Friedlander / Winogrand
33.74 € -26 % -
Brown Bear, Brown Bear, What Do You See?
8.32 € -24 % -
Five Nights at Freddy's: Survival Logbook
11.07 € -25 % -
Solving the Procrastination Puzzle
12.59 € -23 % -
Controlling Conducted Emissions by Design
154.90 € -
How to eat a peach
27.64 € -27 % -
The Savage Sword of Conan: The Original Comics Omnibus Vol.3
114.65 € -18 % -
Kicia Kocia i Nunuś. Czekamy na święta!
9.54 € -18 % -
Bucket list Podlasie i Suwalszczyzna. 150 nieoczywistych miejsc
12.19 € -15 % -
EL YOGA DE LOS 18 SIDDHAS
18.59 € -
Protagonista de mi vida
23.98 € -
Escape Room Adventskalender. Weihnachtliche Schnitzeljagd
9.14 € -13 % -
Wątroba Skuteczne oczyszczanie i leczenie
9.44 € -9 %
Bon podarunkowy: Radość gwarantowana
- Podaruj bon o dowolnej wartości, a my się zajmiemy resztą.
- Bon podarunkowy dotyczy całej naszej oferty.
- Możesz wydrukować elektroniczny bon z e-maila a następnie przekazać go obdarowanemu.
- Ważność bonu wynosi 12 miesięcy od daty wystawienia.
Więcej informacji o Proof Theory
Za ten zakup dostaniesz 53 punkty
Opis
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
Szczegóły książki
Kategoria Książki po angielsku Mathematics & science Mathematics Mathematical foundations
21.13 €
- Pełny tytuł: Proof Theory
- Autor: Takeuti
- Język: Angielski
- Oprawa: Miękka
- Liczba stron: 384
- EAN: 9780486490731
- ISBN: 0486490734
- ID: 02569150
- Wydawca: Dover Publications Inc.
- Waga: 622 g
- Wymiary: 229 × 152 × 26 mm
- Data wydania: 01. January 2013
Ulubione w innej kategorii
-
Sets, Sequences and Mappings
8.73 € -22 % -
To Mock a Mockingbird: and Other Logic Puzzles
12.39 € -28 % -
Proofs and Refutations
24.08 € -11 % -
Limitless Mind
14.63 € -26 % -
Categories for the Working Mathematician
76.22 € -
Conceptual Mathematics
68.09 € -1 % -
Set Theory
32.01 € -
Foundations of Mathematics
32.52 € -
Metalogic
42.99 € -
Introduction to Logic and to the Methodology of Deductive Sciences
13.31 € -
Goedel's Proof
14.42 € -11 % -
In Pursuit of the Traveling Salesman
14.73 € -19 % -
2000 Solved Problems in Discrete Mathematics
31.60 € -14 % -
Higher Topos Theory (AM-170)
115.16 € -
Logic For Dummies
20.73 € -20 % -
Questions, Inferences, and Scenarios
21.84 € -
Naive Set Theory
10.87 € -
Schaum's Outline of Set Theory and Related Topics
23.78 € -20 % -
Dictionary of Argumentation
32.52 € -
Logic
11.37 € -28 % -
Logic: A Very Short Introduction
9.34 € -28 % -
Beginner's Guide to Mathematical Logic
21.44 € -28 % -
Naive Set Theory
10.15 € -28 % -
Illustrated Book of Bad Arguments
13.20 € -23 % -
Oxford Handbook of Philosophy of Mathematics and Logic
58.44 € -
Elements of Mathematics
22.45 € -16 % -
Can You Solve My Problems?
12.29 € -22 % -
Concise Introduction to Pure Mathematics
58.95 € -
Model Theory
28.86 € -19 % -
Category Theory
76.12 € -5 % -
Taking Sudoku Seriously
51.73 € -
First-order Logic
8.73 € -28 % -
Teaching Multiplication Using LEGO(R) Bricks
22.25 € -1 % -
Principles of Mathematics
29.87 € -
Foundations of Geometry
9.24 € -
Handbook of Mathematical Induction
76.22 € -
Beginner's Further Guide To Mathematical Logic, A
28.35 € -
Logician and the Engineer
18.79 € -7 % -
Names of the Lion
16.76 € -10 % -
Lambda Calculus with Types
105.80 € -
Interactive Theorem Proving and Program Development
73.58 € -18 % -
From Frege to Goedel
63.52 € -
Introduction to Mathematical Logic
157.54 € -
Introduction to Logic
12.29 € -24 % -
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
63.93 € -
Mathematical Logic
71.55 € -7 % -
My Best Mathematical and Logic Puzzles
9.14 € -19 % -
Kurt Goedel: Collected Works
90.25 € -
Pea and the Sun
43.09 €
O nas
Przewodnik
Według języka
Osobní odběr Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Wszelkie prawa zastrzeżonePrywatnieCookies
Vrácení do měsíce
Zdarma od 49.99 €
02/210 210 99 (8-15.30h)