Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*.
| Autorius: | Bruno Scarpellini |
| Serija: | Lecture Notes in Mathematics |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 1971 |
| Knygos puslapių skaičius: | 300 |
| ISBN-10: | 354005541X |
| ISBN-13: | 9783540055419 |
| Formatas: | 235 x 155 x 17 mm. Knyga minkštu viršeliu |
| Kalba: | Anglų |
Parašykite atsiliepimą apie „Proof Theory and Intuitionistic Systems“
