Kód: 02569150

Proof Theory

Name: Proof Theory
Brand: Dover Publications Inc.
SKU: 02569150
Price: 25.08 EUR
Availability: InStock

Autor Takeuti

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 384
Nakladateľ: Dover Publications Inc., 2013
Viac informácií o knihe

25.08 €

Bežne: 26.19 €

Ušetríte 1.10 €

Skladom u dodávateľa
Odosielame za 9 - 13 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Category Theory in Context
29.28 € -19 %
Kúpiť
Axiom of Choice
13.20 € -19 %
Kúpiť
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
21.81 €
Kúpiť
Introduction to Proof Theory
50.79 €
Kúpiť
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
32.36 €
Kúpiť
Wealth of Nations
5.83 € -22 %
Kúpiť
Titanic Coloring Book
5.32 € -13 %
Kúpiť
Proof Theory of N4-Paraconsistent Logics
31.54 €
Kúpiť
New History of Western Philosophy
39.22 €
Kúpiť
How to Create Manga: Drawing Facial Expressions
15.87 € -17 %
Kúpiť
Clinical Orthoptics 3e
104.77 €
Kúpiť
Don't Tickle the Lion!
14.43 € -23 %
Kúpiť
World Cup as World History
112.97 €
Kúpiť
The Double Alibi
19.55 €
Kúpiť
Prison School, Vol. 12
17.30 € -19 %
Kúpiť
European Arrest Warrant in Ireland
200.24 €
Kúpiť
The Little Guide to Coco Chanel
7.57 € -25 %
Kúpiť
Stalin's Apologist
43.42 € -4 %
Kúpiť
Take One Fish
28.67 € -19 %
Kúpiť
Building Microservices
67.70 € -16 %
Kúpiť
Sailor Moon 2
11.87 € -18 %
Kúpiť
Birds of Japan
58.78 €
Kúpiť
Sweet & Bitter Magic
10.54 € -19 %
Kúpiť
Asadora!, Vol. 5
12.28 € -23 %
Kúpiť
The Alien Agendas: A Speculative Analysis of Those Visiting Earth
24.06 €
Kúpiť
Diary of a Wimpy Kid: Diper OEverloede (Book 17)
15.35 € -9 %
Kúpiť
Garfield Fat Cat #24
15.05 € -22 %
Kúpiť
Debbie Macomber's Holly Jolly Christmas Coloring Book
19.25 € -5 %
Kúpiť
How High We Go in the Dark
9.11 € -24 %
Kúpiť
Heavenly Tyrant
19.14 € -5 %
Kúpiť
DEMON IN WHITE
21.50 € -21 %
Kúpiť
House Party
13.31 € -8 %
Kúpiť
Postdramatic Theatre
73.74 €
Kúpiť
Speaking B1+ (bez CD)
15.46 € -23 %
Kúpiť
Understanding Chess Middlegames
21.91 € -16 %
Kúpiť
German Mysticism from Hildegard of Bingen to Ludwig Wittgenstein
48.03 €
Kúpiť
Poly-Mva
6.14 € -4 %
Kúpiť
1,000 Places to See Before You Die
23.04 € -21 %
Kúpiť
Proof in Alonzo Church's and Alan Turing's Mathematical Logic
17.50 € -4 %
Kúpiť
Struggle for the Middle Sea
35.12 €
Kúpiť
Patagonia
19.45 € -10 %
Kúpiť
Become A Hangeul Master
34.92 €
Kúpiť
Secret Lives of Colour
19.96 € -30 %
Kúpiť
Usborne First Experiences Going To School Mini Edition
6.75 €
Kúpiť
Art Therapy: Disney Animals
15.87 € -9 %
Kúpiť
Approaches and Methods in Language Teaching
57.25 € -16 %
Kúpiť
Mary Poppins in the Park
10.64 €
Kúpiť
English for Everyone Business English Practice Book Level 1
12.28 € -9 %
Kúpiť
RHS Pruning and Training
20.89 € -19 %
Kúpiť
Arbus / Friedlander / Winogrand
37.38 € -18 %
Kúpiť
Brown Bear, Brown Bear, What Do You See?
8.39 € -24 %
Kúpiť
Five Nights at Freddy's: Survival Logbook
11.15 € -22 %
Kúpiť
Solving the Procrastination Puzzle
15.15 € -8 %
Kúpiť
Controlling Conducted Emissions by Design
177.19 €
Kúpiť
How to eat a peach
28.67 € -24 %
Kúpiť
The Savage Sword of Conan: The Original Comics Omnibus Vol.3
122.60 € -13 %
Predobjednať
Kicia Kocia i Nunuś. Czekamy na święta!
10.44 € -6 %
Kúpiť
Bucket list Podlasie i Suwalszczyzna. 150 nieoczywistych miejsc
10.54 € -26 %
Kúpiť
EL YOGA DE LOS 18 SIDDHAS
18.73 €
Kúpiť
Protagonista de mi vida
24.16 €
Kúpiť
Escape Room Adventskalender. Weihnachtliche Schnitzeljagd
10.34 € -2 %
Kúpiť
Wątroba Skuteczne oczyszczanie i leczenie
9.52 € -9 %
Kúpiť
?Hola, Erizo! 1: ?Te Gusta Mi Bicicleta? (Do You Like My Bike?): Un Libro de la Serie Acorn
6.14 € -4 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Nákupom získate 62 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