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.
Troelstra, A.S.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
201.
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.
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.
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.
Gerber, Harvey
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
327.
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.
Scarpellini, Bruno
1970.
A model of intuitionistic analysis.
Commentarii Mathematici Helvetici,
Vol. 45,
Issue. 1,
p.
440.
Kreisel, G.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
489.
Kreisel, G.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
121.
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.
Diller, Justus
and
Vogel, Helmut
1975.
⊨ISILC Proof Theory Symposion.
Vol. 500,
Issue. ,
p.
56.
1975.
Philosophy and Foundations of Mathematics.
p.
613.
Troelstra, A.S.
1977.
HANDBOOK OF MATHEMATICAL LOGIC.
Vol. 90,
Issue. ,
p.
973.
Scarpellini, B.
1977.
A New Realizability Notion for Intuitionistic Analysis.
Mathematical Logic Quarterly,
Vol. 23,
Issue. 7-12,
p.
137.
Hayashi, Susumu
1977.
Some derived rules of intuitionistic second order arithmetic.
Proceedings of the Japan Academy, Series A, Mathematical Sciences,
Vol. 53,
Issue. 3,
Mints, G. E.
1977.
Theory of proofs (arithmetic and analysis).
Journal of Soviet Mathematics,
Vol. 7,
Issue. 4,
p.
501.