Proof Theory

Autor: Takeuti

Jazyk:

Väzba: Brožovaná

Vydavateľ: Dover Publications Inc.

Dostupnosť: 50 % šanca

Prehľadáme celý svet

17.63 €

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1....

Informácie o knihe

Autor

Takeuti

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2013

Stránok

384

EAN

9780486490731

ISBN

0486490734

Enbook ID

02569150

Vydavateľ

Dover Publications Inc.

Hmotnosť

622

Rozmery

152 x 229 x 26

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Proof Theory

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež