Autorenfreundlich Bücher kaufen?!
Beschreibung
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*.
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 01. Januar 1971 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 458 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540055419 |
| Seiten | 292 |
Schlagwörter
Herstellerinformationen
Bekannt durch
