Download PDF - Combinatory logic and the ω-ruleAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

Combinatory logic and the ω-rule

Authors 1

Affiliations

  1. Utrecht, Netherlands
Fundamenta Mathematicae
1974-1975/82/3
Export to PBN, Opens in new tab
Pages:
199-215
Main language of publication
English
Published
1974
Exact and natural sciences