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.
Howard, W.A.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
443.
Troelstra, A.S.
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
369.
Martin-Löf, Per
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
217.
Martin-Löf, Per
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
179.
Prawitz, Dag
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
235.
Tait, W.W.
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
353.
Goodman, Nicolas D.
and
Myhill, John
1972.
Toposes, Algebraic Geometry and Logic.
Vol. 274,
Issue. ,
p.
83.
Girard, J. Y.
1973.
Cambridge Summer School in Mathematical Logic.
Vol. 337,
Issue. ,
p.
232.
Dragalin, A.G.
1973.
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971.
Vol. 74,
Issue. ,
p.
111.
Prawitz, Dag
1973.
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971.
Vol. 74,
Issue. ,
p.
225.
Barendregt, Henk
1974.
Pairing Without Conventional Restraints.
Mathematical Logic Quarterly,
Vol. 20,
Issue. 19-22,
p.
289.
Kreisel, Georg
1974.
Mathematiker über die Mathematik.
p.
64.
Martin-Löf, Per
1975.
Logic Colloquium '73, Proceedings of the Logic Colloquium.
Vol. 80,
Issue. ,
p.
73.
Martin-Löuf, Per
1975.
Proceedings of the Third Scandinavian Logic Symposium.
Vol. 82,
Issue. ,
p.
81.
de Vrijer, Roel
1975.
λ-Calculus and Computer Science Theory.
Vol. 37,
Issue. ,
p.
252.
Hanatani, Yoshito
1975.
⊨ISILC Proof Theory Symposion.
Vol. 500,
Issue. ,
p.
152.
Girard, Jean-Yves
1977.
Logic, Foundations of Mathematics, and Computability Theory.
p.
33.
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.