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.
Feferman, Solomon
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
303.
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.
Friedman, Harvey
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
435.
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.
Gauthier, Yvon
1971.
Logique mathématique et philosophie des mathématiques.
Dialogue,
Vol. 10,
Issue. 2,
p.
243.
Prawitz, Dag
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
235.
1971.
Model Theory For Infinitary Logic.
Vol. 62,
Issue. ,
p.
193.
Feferman, Solomon
1972.
Conference in Mathematical Logic — London ’70.
Vol. 255,
Issue. ,
p.
63.
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.
Marek, W.
and
Srebrny, M.
1974.
Gaps in the contructable universe.
Annals of Mathematical Logic,
Vol. 6,
Issue. 3-4,
p.
359.
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.
1974.
Set Theory - An Introduction to Large Cardinals.
Vol. 76,
Issue. ,
p.
319.
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.