| Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
J. A. Robinson |
The Journal of Symbolic Logic |
1967 |
| Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Joel W. Robbin |
The Journal of Symbolic Logic |
1967 |
| Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
David C. Cooper |
The Journal of Symbolic Logic |
1967 |
| 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 |
| Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Ylannis N. Moschovakis |
The Journal of Symbolic Logic |
1966 |
| Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
F. C. Oglesby |
The Journal of Symbolic Logic |
1966 |
| M. J. Cresswell. The logic of interrogatives. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Gerold Stahl |
The Journal of Symbolic Logic |
1966 |
| Mathematical Logic and the Foundations of Mathematics |
G. T. Kneebone |
J. C. Shepherdson |
The British Journal for the Philosophy of Science |
1964-11-01 |
| The Logical Systems of Leśniewski. Studies in Logic and the Foundations of Mathematics |
Eugene C. Luschei |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-07-00 |
| The foundations of mathematics. A study in the philosophy of science |
Evert W. Beth |
A. Nerode |
The Journal of Symbolic Logic |
1962 |
| S. C. Kleene. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting. Studies in logic and the foundations of mathematics |
Donald L. Kreider |
The Journal of Symbolic Logic |
1962 |
| Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam |
A. Heyting. Studies in logic and the foundations of mathematics |
Carol R. Karp |
The Journal of Symbolic Logic |
1962 |
| Wittgenstein's Remarks on the Foundations of Mathematics |
L. Wittgenstein |
G. Kreisel |
The British Journal for the Philosophy of Science |
1958-08-00 |
| Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics |
Hans Reichenbach |
Czesław Lejewski |
The British Journal for the Philosophy of Science |
1955-02-01 |
| Nomological Statements and Admissible Operations: Studies in Logic and the Foundations of Mathematics |
Hans Reichenbach |
Carl G. Hempel |
The Journal of Symbolic Logic |
1955 |
| Introduction to the foundations of mathematics |
Raymond L. Wilder |
Alfons Borgers |
The Journal of Symbolic Logic |
1954 |
| An Essay in Modal Logic Studies in Logic and the Foundations of Mathematics George H. von Wright L. E. Brouwer E. W. Beth A. Heyting |
George H. Von Wright |
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1953-07-00 |
| Constructive formalism. Essays on the foundations of mathematics |
Haskell B Curry |
John Myhill |
The Journal of Symbolic Logic |
1953 |
| International Encyclopedia of Unified Science, Vol. I, No. 3: Foundations of Logic and Mathematics |
Paul S. Weiss |
Paul Weiss |
Ethics |
1939-10-01 |
| Foundations of logic and mathematics |
Rudolf Carnap |
M. Kokoszyńska |
The Journal of Symbolic Logic |
1939 |
