Barondregt, Henk. "Combinatory logic and the ω-rule." Fundamenta Mathematicae 82.3 (1974): 199-215. <http://eudml.org/doc/214663>.
@article{Barondregt1974, author = {Barondregt, Henk}, journal = {Fundamenta Mathematicae}, language = {eng}, number = {3}, pages = {199-215}, title = {Combinatory logic and the ω-rule}, url = {http://eudml.org/doc/214663}, volume = {82}, year = {1974}, }
TY - JOUR AU - Barondregt, Henk TI - Combinatory logic and the ω-rule JO - Fundamenta Mathematicae PY - 1974 VL - 82 IS - 3 SP - 199 EP - 215 LA - eng UR - http://eudml.org/doc/214663 ER -
