Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
1966.
Intuitionism An Introduction.
Vol. 41,
Issue. ,
p.
127.
Kreisel, G.
and
Lévy, A.
1968.
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.
Mathematical Logic Quarterly,
Vol. 14,
Issue. 7-12,
p.
97.
Troelstra, A.S.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
201.
Kreisel, G.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
145.
Troelstra, A. S.
1969.
Informal theory of choice sequences.
Studia Logica,
Vol. 25,
Issue. 1,
p.
31.
Scarpellini, Bruno
1970.
A model of intuitionistic analysis.
Commentarii Mathematici Helvetici,
Vol. 45,
Issue. 1,
p.
440.
Scarpellini, B.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
271.
Kino, Akiko
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
363.
Kreisel, G.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
121.
Kreisel, G.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
489.
Gerber, Harvey
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
327.
Kreisel, G.
and
Troelstra, A.S.
1970.
Formal systems for some branches of intuitionistic analysis.
Annals of Mathematical Logic,
Vol. 1,
Issue. 3,
p.
229.
Ershov, Yu. L.
1972.
Everywhere-defined continuous functionals.
Algebra and Logic,
Vol. 11,
Issue. 6,
p.
363.
Girard, J. Y.
1973.
Cambridge Summer School in Mathematical Logic.
Vol. 337,
Issue. ,
p.
232.
1975.
Philosophy and Foundations of Mathematics.
p.
613.
Diller, Justus
and
Vogel, Helmut
1975.
⊨ISILC Proof Theory Symposion.
Vol. 500,
Issue. ,
p.
56.
Scarpellini, B.
1977.
A New Realizability Notion for Intuitionistic Analysis.
Mathematical Logic Quarterly,
Vol. 23,
Issue. 7-12,
p.
137.
Luckhardt, Horst
1977.
Über das Markov-Prinzip II.
Archiv für Mathematische Logik und Grundlagenforschung,
Vol. 18,
Issue. 1,
p.
147.
Troelstra, A.S.
1977.
HANDBOOK OF MATHEMATICAL LOGIC.
Vol. 90,
Issue. ,
p.
973.
Hayashi, Susumu
1977.
Some derived rules of intuitionistic second order arithmetic.
Proceedings of the Japan Academy, Series A, Mathematical Sciences,
Vol. 53,
Issue. 3,