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.
Kino, Akiko
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
363.
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.
Scarpellini, B.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
271.
Kreisel, G.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
489.
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.
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.
1975.
Philosophy and Foundations of Mathematics.
p.
613.
Diller, Justus
and
Vogel, Helmut
1975.
⊨ISILC Proof Theory Symposion.
Vol. 500,
Issue. ,
p.
56.
Luckhardt, Horst
1977.
Über das Markov-Prinzip II.
Archiv für Mathematische Logik und Grundlagenforschung,
Vol. 18,
Issue. 1,
p.
147.
Mints, G. E.
1977.
Theory of proofs (arithmetic and analysis).
Journal of Soviet Mathematics,
Vol. 7,
Issue. 4,
p.
501.
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,