Calculi of constructive logic with subordinate variables

• 1 January 1972
• book chapter
• Published by American Mathematical Society (AMS) in American Mathematical Society Translations: Series 2
• Vol. 99, 83-227
• https://doi.org/10.1090/trans2/099/03

Abstract