Könyv Proof Theory Takeuti

Proof Theory

Szerző: Takeuti
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: 50 % esély
Keressük az egész világon
7 362 Ft
Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1....

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
384
EAN
9780486490731
ISBN
0486490734
Enbook ID
02569150
Súly
622
Méretek
152 x 229 x 26

Teljes leírás

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

Érdekelheti

Axiom of Choice

Thomas J Jech
4 573 Ft
66 689 Ft

How to Prove It

Daniel J. Velleman
46 975 Ft

How to Prove It

Daniel J. Velleman
17 064 Ft

Conceptual Mathematics

F William Lawvere
24 628 Ft
2 466 Ft
69 852 Ft

Proof Theory of N4-Paraconsistent Logics

Heinrich (Universitat Leipzig) Wansing
9 487 Ft
1 680 Ft
8 503 Ft
21 197 Ft

Examined Life

Robert Nozick
5 695 Ft
25 370 Ft
2 947 Ft

Sankarea Vol. 10

Mitsuru Hattori
3 989 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Basic Proof Theory

Anne S. Troelstra
23 690 Ft
36 891 Ft
2 165 Ft