Proof Theory (Dover Books on Mathematics) de Gaisi Takeuti

Proof Theory: Volume II: Dover Books on Mathematics

Gaisi Takeuti

en Limba Engleză Paperback – 19 feb 2013

This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents an overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. Reprint of the North Holland, Amsterdam, 1987 edition.

Citește tot Restrânge

Din seria Dover Books on Mathematics

23%

Preț: 107^.94 lei
Preț: 48^.65 lei
Preț: 116^.52 lei
17%

Preț: 89^.43 lei
Preț: 121^.35 lei
Preț: 69^.28 lei
Preț: 98^.09 lei
26%

Preț: 135^.48 lei
17%

Preț: 116^.43 lei
23%

Preț: 52^.04 lei
16%

Preț: 179^.01 lei
19%

Preț: 188^.70 lei
Preț: 136^.34 lei
Preț: 106^.34 lei
Preț: 74^.88 lei
Preț: 67^.64 lei
Preț: 61^.27 lei
Preț: 81^.90 lei
Preț: 87^.92 lei
Preț: 79^.12 lei
Preț: 179^.03 lei
21%

Preț: 147^.22 lei
Preț: 129^.97 lei
Preț: 121^.16 lei
Preț: 120^.25 lei
16%

Preț: 243^.33 lei
23%

Preț: 38^.70 lei
16%

Preț: 86^.68 lei
Preț: 80^.36 lei
15%

Preț: 321^.51 lei
Preț: 94^.91 lei
Preț: 90^.50 lei
22%

Preț: 131^.51 lei
21%

Preț: 159^.19 lei
31%

Preț: 80^.65 lei
15%

Preț: 242^.75 lei
Preț: 102^.31 lei
27%

Preț: 145^.71 lei
Preț: 51^.84 lei
Preț: 166^.01 lei
Preț: 79^.86 lei
22%

Preț: 132^.37 lei
Preț: 56^.45 lei
Preț: 121^.53 lei
Preț: 169^.62 lei
27%

Preț: 133^.28 lei
Preț: 91^.04 lei
28%

Preț: 130^.36 lei
Preț: 80^.08 lei
18%

Preț: 214^.44 lei

Cuprins

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