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
Mohlo by se vám také líbit
-
Paradise Kiss
558 Kč -
Pack DELE B2 (libro + claves)
617 Kč -
Five Nights at Freddy's: Survival Logbook
280 Kč -
Wealth of Nations
136 Kč -
Sailor Moon 2
298 Kč -
The Little Guide to Coco Chanel
201 Kč -
Understanding Chess Middlegames
525 Kč -
DEMON IN WHITE
523 Kč -
Become A Hangeul Master
780 Kč -
Titanic Coloring Book
113 Kč -
Building Microservices
1453 Kč -
RHS Pruning and Training
513 Kč -
English for Everyone Business English Practice Book Level 1
269 Kč -
Sweet & Bitter Magic
232 Kč -
1,000 Places to See Before You Die
527 Kč -
How to Create Manga: Drawing Facial Expressions
396 Kč -
Brown Bear, Brown Bear, What Do You See?
220 Kč -
Take One Fish
763 Kč -
How High We Go in the Dark
239 Kč -
Category Theory in Context
684 Kč -
The Power of the Powerless
232 Kč -
Don't Tickle the Lion!
333 Kč -
Plants of the Devil
416 Kč -
Stíny
163 Kč -
New History of Western Philosophy
555 Kč -
Sankarea Vol. 10
237 Kč -
Solving the Procrastination Puzzle
359 Kč -
How to eat a peach
767 Kč -
Garfield Fat Cat #24
367 Kč -
Prison School, Vol. 12
403 Kč -
Axiom of Choice
314 Kč -
Learning the Violin, Book One: Expanded Edition
322 Kč -
Conceptual Mathematics
1565 Kč -
The Alien Agendas: A Speculative Analysis of Those Visiting Earth
515 Kč -
Kicia Kocia i Nunuś. Czekamy na święta!
223 Kč -
Basic Proof Theory
1656 Kč -
Secret Lives of Colour
508 Kč -
Asadora!, Vol. 5
278 Kč -
Approaches and Methods in Language Teaching
1201 Kč -
Moral Tribes
379 Kč -
Red Team Development and Operations
377 Kč -
Ima Koi: Now I'm in Love, Vol. 6
208 Kč -
Debbie Macomber's Holly Jolly Christmas Coloring Book
420 Kč -
Fortnite- Carnet 2
188 Kč -
Postdramatic Theatre
1730 Kč -
Speaking B1+ (bez CD)
357 Kč -
Tajine
280 Kč -
Heavenly Tyrant
438 Kč -
Clinical Orthoptics 3e
2260 Kč -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
527 Kč -
Interactive Theorem Proving and Program Development
1831 Kč -
Usborne First Experiences Going To School Mini Edition
178 Kč -
Art Therapy: Disney Animals
340 Kč -
Arbus / Friedlander / Winogrand
844 Kč -
Architecture of Closed Worlds
757 Kč -
Patagonia
454 Kč -
Stalin's Apologist
1066 Kč -
Struggle for the Middle Sea
713 Kč -
Brainy 4 Zeszyt przedmiotowy
139 Kč -
Poly-Mva
127 Kč -
Mary Poppins in the Park
184 Kč -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
707 Kč -
Type Theory and Formal Proof
2395 Kč -
LE MANS 2023
256 Kč -
Elena Ferrante. Poetiche e politiche della soggettività
628 Kč -
Cosmic Fusion
970 Kč -
Bucket list Podlasie i Suwalszczyzna. 150 nieoczywistych miejsc
289 Kč -
Mission: Impossible, The 6-Movie Collection, 6 Blu-rays
1606 Kč -
Diary of a Wimpy Kid: Diper OEverloede (Book 17)
220 Kč -
German Mysticism from Hildegard of Bingen to Ludwig Wittgenstein
1055 Kč -
Birds of Japan
1521 Kč -
World Cup as World History
2795 Kč -
?Hola, Erizo! 1: ?Te Gusta Mi Bicicleta? (Do You Like My Bike?): Un Libro de la Serie Acorn
147 Kč -
Escape Room Adventskalender. Weihnachtliche Schnitzeljagd
229 Kč -
Controlling Conducted Emissions by Design
3854 Kč -
How to Write a Ba Thesis, Second Edition
883 Kč -
House Party
282 Kč -
Wątroba Skuteczne oczyszczanie i leczenie
229 Kč -
The Double Alibi
420 Kč -
Introduction to Proof Theory
1090 Kč -
The Savage Sword of Conan: The Original Comics Omnibus Vol.3
3009 Kč -
Proof Theory of N4-Paraconsistent Logics
682 Kč -
European Arrest Warrant in Ireland
4709 Kč -
EL YOGA DE LOS 18 SIDDHAS
441 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í.
Více informací o knize Proof Theory
Nákupem získáte 52 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
524 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
-
Goedel's Proof
360 Kč -
Metamathematics of Fuzzy Logic
6032 Kč -
First Order Mathematical Logic
326 Kč -
Proof-theoretic Semantics
719 Kč -
To Mock a Mockingbird: and Other Logic Puzzles
333 Kč -
Proofs and Refutations
603 Kč -
Limitless Mind
396 Kč -
Illustrated Book of Bad Arguments
330 Kč -
Oxford Handbook of Philosophy of Mathematics and Logic
1778 Kč -
Categories for the Working Mathematician
1473 Kč -
Sets, Sequences and Mappings
219 Kč -
Set Theory
796 Kč -
Foundations of Mathematics
808 Kč -
Logic For Dummies
514 Kč -
Metalogic
1070 Kč -
Schaum's Outline of Set Theory and Related Topics
595 Kč -
Logic
283 Kč -
Logic: A Very Short Introduction
232 Kč -
Beginner's Guide to Mathematical Logic
532 Kč -
Naive Set Theory
283 Kč -
Elements of Mathematics
616 Kč -
Can You Solve My Problems?
283 Kč -
Lambda Calculus with Types
2636 Kč -
From Frege to Goedel
1565 Kč -
Arithmetic
588 Kč -
Introduction to Mathematical Logic
3922 Kč -
Concise Introduction to Pure Mathematics
1476 Kč -
Handbook of Mathematical Fuzzy Logic. Volume 1
821 Kč -
Model Theory
723 Kč -
Introduction to Logic and to the Methodology of Deductive Sciences
332 Kč -
In Pursuit of the Traveling Salesman
365 Kč -
Category Theory
2027 Kč -
Taking Sudoku Seriously
1372 Kč -
2000 Solved Problems in Discrete Mathematics
736 Kč -
Handbook of Mathematical Induction
1896 Kč -
First-order Logic
217 Kč -
Teaching Multiplication Using LEGO(R) Bricks
553 Kč -
Principles of Mathematics
743 Kč -
Foundations of Geometry
231 Kč -
Beginner's Further Guide To Mathematical Logic, A
705 Kč -
Logician and the Engineer
438 Kč -
Names of the Lion
418 Kč -
Higher Topos Theory (AM-170)
3051 Kč -
Introduction to Logic
307 Kč -
Introduction to Mathematical Reasoning
1390 Kč -
![Mathematics and Plausible Reasoning [Two Volumes in One]](https://media.libris.to/jacket/08800962t.jpg "Mathematics and Plausible Reasoning [Two Volumes in One]")
Mathematics and Plausible Reasoning [Two Volumes in One]
693 Kč -
Questions, Inferences, and Scenarios
544 Kč -
Mathematical Logic
1781 Kč -
Kurt Goedel: Collected Works
2427 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)