Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Nelson, David
1947.
Recursive functions and intuitionistic number theory.
Transactions of the American Mathematical Society,
Vol. 61,
Issue. 2,
p.
307.
Rose, Gene F.
1953.
Propositional calculus and realizability.
Transactions of the American Mathematical Society,
Vol. 75,
Issue. 1,
p.
1.
[Russian Text Ignored], H. A.
1958.
[Russian Text Ignored].
Mathematical Logic Quarterly,
Vol. 4,
Issue. 17-20,
p.
293.
1959.
A Study in the Philosophy of Science.
Vol. 25,
Issue. ,
p.
682.
Moschovakis, J.R.
1967.
Sets, Models and Recursion Theory.
Vol. 46,
Issue. ,
p.
309.
Kipnis, M. M.
1970.
Studies in Constructive Mathematics and Mathematical Logic Part 2.
p.
22.
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.
Troelstra, A.S.
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
369.
Kipnis, M. M.
1972.
On the realizations of predicate formulas.
Journal of Soviet Mathematics,
Vol. 1,
Issue. 1,
p.
22.
Troelstra, A. S.
1973.
Cambridge Summer School in Mathematical Logic.
Vol. 337,
Issue. ,
p.
171.
Kleene, S. C.
1973.
Cambridge Summer School in Mathematical Logic.
Vol. 337,
Issue. ,
p.
95.
[Foreign Language Ignored](C.C.C.P.), [Foreign Language Ignored]
1973.
[Foreign Language Ignored].
Mathematical Logic Quarterly,
Vol. 19,
Issue. 30,
p.
453.
Troelstra, A.S.
1977.
HANDBOOK OF MATHEMATICAL LOGIC.
Vol. 90,
Issue. ,
p.
973.
Kleene, Stephen C.
1979.
Origins of recursive function theory.
p.
371.
Nepeivoda, N. N.
1979.
Application of proof theory to the problem of construction of correct programs.
Cybernetics,
Vol. 15,
Issue. 2,
p.
202.
Mostowski, Andrzej
1979.
Foundational Studies Selected Works.
Vol. 93,
Issue. ,
p.
1.
Moschovakis, JoanRand
1980.
The Kleene Symposium.
Vol. 101,
Issue. ,
p.
167.
Vesley, Richard
1980.
The Kleene Symposium.
Vol. 101,
Issue. ,
p.
317.
Goad, C. A.
1980.
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980.
Vol. 87,
Issue. ,
p.
39.
Shanin, N. A.
1981.
Algorithms in Modern Mathematics and Computer Science.
Vol. 122,
Issue. ,
p.
361.