Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kreisel, G.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
145.
Feferman, S.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
121.
Kreisel, G.
1969.
Two notes on the foundations of set-theory.
dialectica,
Vol. 23,
Issue. 2,
p.
93.
Kreisel, G.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
121.
Friedman, Harvey
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
435.
Kreisel, G.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
489.
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.
Feferman, Solomon
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
303.
Gauthier, Yvon
1971.
Logique mathématique et philosophie des mathématiques.
Dialogue,
Vol. 10,
Issue. 2,
p.
243.
1971.
Model Theory For Infinitary Logic.
Vol. 62,
Issue. ,
p.
193.
Prawitz, Dag
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
235.
Feferman, Solomon
1972.
Conference in Mathematical Logic — London ’70.
Vol. 255,
Issue. ,
p.
63.
Marek, W.
and
Srebrny, M.
1974.
Gaps in the contructable universe.
Annals of Mathematical Logic,
Vol. 6,
Issue. 3-4,
p.
359.
1974.
Set Theory - An Introduction to Large Cardinals.
Vol. 76,
Issue. ,
p.
319.
Apt, K.R.
and
Marek, W.
1974.
Second order arithmetic and related topics.
Annals of Mathematical Logic,
Vol. 6,
Issue. 3-4,
p.
177.
Maslov, S. Yu.
1974.
Search for derivation as model of a heuristic process.
Cybernetics,
Vol. 8,
Issue. 5,
p.
784.
Kapitonova, Yu. V.
Kostyrko, V. F.
Lyaletskii, A. V.
Degtyarev, A. I.
Malashonok, A. I.
Anufriev, F. V.
and
Asel'derov, Z. M.
1974.
A brief review and bibliography of investigations into automation of search of theorem proofs in formal theories.
Cybernetics,
Vol. 8,
Issue. 5,
p.
714.
Kreisel, Georg
1974.
Mathematiker über die Mathematik.
p.
64.
Gregory, John
1975.
Infinitary Logic: In Memoriam Carol Karp.
Vol. 492,
Issue. ,
p.
143.
Marek, W.
and
Srebrny, M.
1975.
No minimal transitive model of Z−.
Mathematical Logic Quarterly,
Vol. 21,
Issue. 1,
p.
225.