1 results
Georg Kreisel and Gaisi Takeuti. Formally self-referential propositions for cut free analysis and related systems. Dissertationes mathematicae (Rozprawy matematyczne), no. 118, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1974, 50 pp. - Peter Päppinghaus. A version of the Σ1-reflection principle for CFA provable in PRA. Archiv für mathematische Logik und Grundlagenforschung, vol. 20 (1980), pp. 27–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-246
- Print publication:
- March 1985
-
- Article
- Export citation