| A profile of mathematical logic |
Howard DeLong |
Richard E. Grandy |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
Kenneth Kunen |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
Carl E. Gordon |
The Journal of Symbolic Logic |
1975 |
| J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover |
H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics |
William A. Howard |
The Journal of Symbolic Logic |
1975 |
| Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August |
R. O. Gandy |
C. E. M. Yates |
The Journal of Symbolic Logic |
1975 |
| Mathematical logic |
Joseph R. Shoenfield |
Donald Monk |
The Journal of Symbolic Logic |
1975 |
| Studies in the History of Mathematical Logic |
S J Surma |
Tadeusz Kubinski |
Studia Logica |
1974-01-01 |
| Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116 |
Bertrand Russell |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Development of Mathematical Logic |
R. L. Goodstein |
J Van Heijenoort |
The Philosophical Review |
1973-07-00 |
| Development of Mathematical Logic |
R L Goodstein |
Charles F Kielkopf |
The Review of Metaphysics |
1973-06-01 |
| Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie |
Gert Heinz Müller |
Dieter Rödding |
The Journal of Symbolic Logic |
1973 |
| A mathematical introduction to logic |
Herbert B. Enderton |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1973 |
| Mathematical Logic: with Special Reference to the Natural Numbers |
S W P Steen |
Roberto Torretti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1972-11-01 |
| Mathematical Logic and Formalised Theories: A Survey of Basic Concepts and Results |
Robert Roger |
Roberto Torretti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1972-11-01 |
| Mathematical Logic: with Special Reference to the Natural Numbers |
S. W. P. Steen |
J. L. Bell |
The British Journal for the Philosophy of Science |
1972-11-01 |
| Mathematical Logic and Foundations of Set Theory |
Y Bar-Hillel |
F. R. Drake |
Synthese |
1972-03-00 |
| History of Mathematical Logic from Leibniz to Peano |
N. I. Styazhkin |
G. H. R. Parkinson |
Studia Leibnitiana |
1972-01-00 |
| First order mathematical logic |
Angelo Margaris |
A. H. Lightstone |
The Journal of Symbolic Logic |
1972 |
| A profile of mathematical logic |
Howard Delong |
William J Edgar |
The Philosophical Forum |
1971-12-01 |
| A Profile of Mathematical Logic |
H. De Long |
R. P. M. |
The Review of Metaphysics |
1971-06-00 |
| Elements of Mathematical Logic: Model Theory |
G Kreisel |
J S Esplugues |
Teorema |
1971-03-01 |
| J. McCarthy. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September |
Cicely M. Popplewell |
Richard J. Orgass |
The Journal of Symbolic Logic |
1971 |
| A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover |
H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics |
Ralph Seifert |
The Journal of Symbolic Logic |
1971 |
| Contributions to mathematical logic |
Hans Schmidt |
Arthur Skidmore |
Philosophy of Science |
1970-12-01 |
| From Frege to Goedel: A Source Book in Mathematical Logic, 1879-1931 |
Jean Van Heijenoort |
Paul Bernays |
The Journal of Philosophy |
1970-02-01 |
| Carol Karp. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
Leslie H. Tharp |
The Journal of Symbolic Logic |
1970 |
| R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley |
Richard A. Platek |
The Journal of Symbolic Logic |
1970 |
| Mathematical logic |
Gerson B Robison |
William E Gould |
The Journal of Symbolic Logic |
1970 |
| C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
S. K. Thomason |
The Journal of Symbolic Logic |
1970 |
| R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley |
Richard A. Platek |
The Journal of Symbolic Logic |
1970 |
| An application of electric circuits in mathematical logic |
Chen Chuan Chong |
H. Enderton |
The Journal of Symbolic Logic |
1970 |
| J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
W. A. Howard |
The Journal of Symbolic Logic |
1970 |
| R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
Frank R. Drake |
The Journal of Symbolic Logic |
1970 |
| J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
C. E. Bredlau |
The Journal of Symbolic Logic |
1969-11-17 |
| Elements of mathematical logic. (Model theory) |
G. Kreisel and J. L. Krivine |
C. C. Chang |
The Journal of Symbolic Logic |
1969-05-29 |
| Introduction to mathematical logic |
Elliott Mendelson |
Dirk van Dalen |
The Journal of Symbolic Logic |
1969-05-29 |
| A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference |
Zohar Manna |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931 |
Jean Van Heijenoort |
Andrzej Mostowski |
Synthese |
1968-04-00 |
| First course in mathematical logic |
Patrick Suppes and Shirley Hill |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| Mathematical logic. Lectures on modern mathematics, vol |
Georg Kreisel |
R. E. Vesley |
The Journal of Symbolic Logic |
1967-10-09 |
| Solutions to the exercises in First course in mathematical logic |
Frederick Binford |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| Mathematical logic: Constructive and non-constructive operations |
Stephen Cole Kleene |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-07-00 |
| Elements of mathematical logic |
Jan Lukasiewicz |
C. Lajewski |
Philosophy of Science |
1967-06-01 |
| Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein |
P. S. Novikov |
Gert H. Müller |
The Journal of Symbolic Logic |
1966 |
| On mathematical concepts of the material world. A reprint of 997 |
Alfred North Whitehead |
S. Jaśkowski |
The Journal of Symbolic Logic |
1966 |
| A Survey of Mathematical Logic |
Wang Hao |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1965-10-00 |
| The development of mathematical logic |
P. H. Nidditch |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1965 |
| Elements of mathematical logic. English translation of 1866 by Olgierd Wojtasiewicz |
Jan Łukasiewicz |
Alfons Borgers |
The Journal of Symbolic Logic |
1965 |
| Mathematical Logic and the Foundations of Mathematics |
G. T. Kneebone |
J. C. Shepherdson |
The British Journal for the Philosophy of Science |
1964-11-01 |
| Mathematical induction |
Leon Henkin |
Theodore Hailperin |
The Journal of Symbolic Logic |
1964 |
