Induction and transfinite induction in intuitionistic systems
- 31 May 1972
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 4 (2) , 173-227
- https://doi.org/10.1016/0003-4843(72)90014-9
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systemsThe Journal of Symbolic Logic, 1960