Książka Proof Theory Takeuti

Proof Theory

Autor: Takeuti
Język: Angielski
Oprawa: Miękka
Dostępność: 50 % szansa
Przeszukamy cały świat
80.69
Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1....

Informacje o książce

Autor
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2013
strony
384
EAN
9780486490731
ISBN
0486490734
Enbook ID
02569150
Waga
622
Wymiary
152 x 229 x 26

Pełny 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

Możesz być zainteresowany

Axiom of Choice

Thomas J Jech
50.18

Proof Theory of N4-Paraconsistent Logics

Heinrich (Universitat Leipzig) Wansing
106.17

Conceptual Mathematics

F William Lawvere
268.84
26.46
769.05

Mathematics of Relativity

George Y. Rainich
50.18
93.08
542.61

How to Prove It

Daniel J. Velleman
512.60

How to Prove It

Daniel J. Velleman
191.89
809.40
18.88
65.63
234.79

Rockets

Robert Goddard
44.17

Klienci, którzy kupili tę książkę, kupili również

Basic Proof Theory

Anne S. Troelstra
258.51
414.29