Formalization of the theory of ordinal diagrams of infinite order
収録刊行物
-
- Intuitionism and Proof Theory
-
Intuitionism and Proof Theory 1970
Intuitionism and Proof Theory 1970