Various systems of set theory based on combinatory logic.
-
Published:1974-04-01
Issue:2
Volume:15
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A one axiom set theory based on higher order predicate calculus;Archiv für Mathematische Logik und Grundlagenforschung;1983-12
2. Some Results in Aczel-Feferman Logic and Set Theory;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1982
3. Predicate calculus and naive set theory in pure combinatory logic;Archiv für Mathematische Logik und Grundlagenforschung;1981-12
4. Equality in 21* with Restricted Subjects;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1978