| Kurt Gödel: Collected Works, V2 |
Solomon Feferman |
G Kreisel |
Notre Dame Journal of Formal Logic |
1990-09-01 |
| Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay |
G. Kreisel |
The Journal of Symbolic Logic |
1989 |
| Wittgenstein on Rules and Private Language |
Saul A. Kripke |
G. Kreisel |
Philosophy in Review |
1983-01-01 |
| Jean-Paul Sartre: Contemporary Approaches to His Philosophy |
H Silverman |
G Kreisel |
Canadian Philosophical Reviews |
1982-10-01 |
| Brouwer's Cambridge Lectures on Intuitionism |
D Van Dalen |
G Kreisel |
Canadian Philosophical Reviews |
1982-10-01 |
| Cambridge Lectures on Intuitionism |
Brouwer |
G. Kreisel |
Philosophy in Review |
1982-01-01 |
| Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
G. Kreisel |
The Journal of Symbolic Logic |
1972 |
| The Collected Papers of Gerhard Gentzen |
M. E. Szabo |
G. Kreisel |
The Journal of Philosophy |
1971-04-02 |
| Elements of Mathematical Logic: Model Theory |
G Kreisel |
J S Esplugues |
Teorema |
1971-03-01 |
| Gödel's intepretation of Heyting's arithmetic |
G. Kreisel |
D. van Dalen |
The Journal of Symbolic Logic |
1971 |
| Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics |
G. Kreisel |
The Journal of Symbolic Logic |
1970 |
| Elements of mathematical logic. (Model theory) |
G. Kreisel and J. L. Krivine |
C. C. Chang |
The Journal of Symbolic Logic |
1969-05-29 |
| Ein dialogisches Konstruktwitätskriterium |
P. Lorenzen |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Le programme ultra-intuitionniste des fondements des mathématiques |
A. S. Ésénine-Volpine |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Infinitistic methods from a finitist point of view |
A. Heyting |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Sums of squares |
G. Kreisel |
Abraham Robinson |
The Journal of Symbolic Logic |
1966 |
| G. Kreisel, D. Lacombe, and J. Shoenfield. Effective operations and partial recursive functionals. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses |
A. Heyting, Studies in logic and the foundations of mathematics |
Yiannis N. Moschovakis |
The Journal of Symbolic Logic |
1966 |
| Foundations of intuitionistic logic |
G. Kreisel |
Abraham Robinson |
The Journal of Symbolic Logic |
1965 |
| Vorwort |
J. Ritter |
G. Kreisel |
The Journal of Symbolic Logic |
1963 |
| Ordinal logics and the characterization of informal concepts of proof |
G. Kreisel |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| Wittgenstein's Theory and Practice of Philosophy |
Ludwig Wittgenstein |
G. Kreisel |
The British Journal for the Philosophy of Science |
1960-11-00 |
| On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953) |
G. Kreisel |
William Craig |
The Journal of Symbolic Logic |
1959 |
| Wittgenstein's Remarks on the Foundations of Mathematics |
L. Wittgenstein |
G. Kreisel |
The British Journal for the Philosophy of Science |
1958-08-00 |
| La crise de la raison et la logique. Conférences, faites à l'Université de Liége dans le cadre des échanges culturels belgo-néerlandais au mois de Mai 1956. Collection de logique mathématique, ser. A no. 12. Photooffset from typewritten manuscript |
E. W. Beth |
G. Kreisel |
The Journal of Symbolic Logic |
1958 |
| Some Uses of Metamathematics |
Abraham Robinson |
G. Kreisel |
The British Journal for the Philosophy of Science |
1956-08-00 |
| G. Kreisel |
|
G. Hasenjaeger |
The Journal of Symbolic Logic |
1956 |
| The Diagonal Method in Formalized Arithmetic |
A. Mostowski |
G. Kreisel |
The British Journal for the Philosophy of Science |
1953-02-00 |
| Über das Indukttonsschema in der rekursiven Zahlentheorie |
Paul Bernays |
G. Kreisel |
The Journal of Symbolic Logic |
1952 |
