Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
1968.
Logic, Methodology and Philosophy of Science III.
Vol. 52,
Issue. ,
p.
121.
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.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
489.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
303.
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.
1970.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Vol. 60,
Issue. ,
p.
121.
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.
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.
Kreisel, Georg
1974.
Mathematiker über die Mathematik.
p.
64.
Marek, W.
and
Srebrny, M.
1974.
Gaps in the contructable universe.
Annals of Mathematical Logic,
Vol. 6,
Issue. 3-4,
p.
359.
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.
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.