On barinduction of higher types for decidable predicates
- 28 February 1973
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 5 (2) , 77-163
- https://doi.org/10.1016/0003-4843(73)90008-9
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Induction and transfinite induction in intuitionistic systemsAnnals of Mathematical Logic, 1972
- A model of intuitionistic analysisCommentarii Mathematici Helvetici, 1970
- Some applications of Gentzens second consistency proofMathematische Annalen, 1969