Combinatory logic and the ω-rule

• 1 January 1974
• journal article
• Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
• Vol. 82  (3) , 199-215
• https://doi.org/10.4064/fm-82-3-199-215

Abstract