Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Feferman, S.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
121.
Kreisel, G.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
145.
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.
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.
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.
Prawitz, Dag
1971.
Proceedings of the Second Scandinavian Logic Symposium.
Vol. 63,
Issue. ,
p.
235.
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.
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.
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.
Maslov, S. Yu.
1974.
Search for derivation as model of a heuristic process.
Cybernetics,
Vol. 8,
Issue. 5,
p.
784.
Apt, K.R.
and
Marek, W.
1974.
Second order arithmetic and related topics.
Annals of Mathematical Logic,
Vol. 6,
Issue. 3-4,
p.
177.
Kreisel, Georg
1974.
Mathematiker über die Mathematik.
p.
64.
Marek, W.
and
Srebrny, M.
1975.
No minimal transitive model of Z−.
Mathematical Logic Quarterly,
Vol. 21,
Issue. 1,
p.
225.
Gregory, John
1975.
Infinitary Logic: In Memoriam Carol Karp.
Vol. 492,
Issue. ,
p.
143.