Proof Theory and Intuitionistic Systems. 1st ed. 1971
- 種類:
- 電子ブック
- 責任表示:
- by Bruno Scarpellini
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1971
- 著者名:
- シリーズ名:
- Lecture Notes in Mathematics ; 212
- ISBN:
- 9783540368755 [3540368752]
- 注記:
- 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*.
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer-Verlag |
Springer Science+Business Media, LLC |
Springer-Verlag Berlin Heidelberg |
Springer New York : Imprint: Springer |
Springer Netherlands |
Springer New York |
Springer-Verlag Berlin Heidelberg |
Birkhäuser Boston |
Springer Berlin Heidelberg |
Springer Science+Business Media, LLC |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |