| Mathematical logic |
Willard Van Orman Quine |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1964 |
| The predicate calculus. A survey of mathematical logic |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Mathematical logic |
R. L. Goodstein |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1963 |
| Many-sorted predicate calculi. A survey of mathematical logic |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Mathematical logic: Constructive and non-constructive operations |
S. C. Kleene |
Julia Robinson |
The Journal of Symbolic Logic |
1962 |
| A precis of mathematical logic |
J. M. Bochenski |
Leo Simons |
Philosophy of Science |
1961-10-01 |
| Introduction to mathematical logic. Volume I. Second printing |
Alonzo Church |
S. C. Kleene |
The Journal of Symbolic Logic |
1958 |
| William Heytesbury: Medieval Logic and the Rise of Mathematical Physics |
Curtis Wilson |
William Kneale |
The British Journal for the Philosophy of Science |
1957-11-01 |
| Introduction to Mathematical Logic, Volume I |
Alonzo Church |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-01-00 |
| On denumerable bases of formal systems. Mathematical interpretation of formal systems |
Hao Wang |
Clifford Spector |
The Journal of Symbolic Logic |
1957 |
| Introduction to mathematical logic |
Alonzo Church |
Max Black |
The Journal of Symbolic Logic |
1957 |
| An introduction to mathematical thought |
E. R. Stabler |
A. R. Turquette |
The Journal of Symbolic Logic |
1955 |
| An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities George Boole |
S. H. B. |
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1954-04-00 |
| Analytic and synthetic propositions and mathematical logic |
N. O. Lossky |
Christopher Blake |
The Journal of Symbolic Logic |
1954 |
| The Elements of Mathematical Logic |
Paul C. Rosenbloom |
Martin Davis |
The Journal of Symbolic Logic |
1953 |
| Principles of Mathematical Logic D. Hilbert W. Ackermann Robert E. Luce |
D. Hilbert |
G. T. Kneebone |
Philosophy |
1952-10-00 |
| Mathematical Logic |
Haskell B. Curry |
R. L. Goodstein |
The British Journal for the Philosophy of Science |
1952-08-00 |
| Principles of Mathematical Logic |
David Hilbert |
W. H. McCrea |
The British Journal for the Philosophy of Science |
1952-02-01 |
| Mathematical logic |
Willard van Orman Quine |
Václav Edvard Beneš |
The Journal of Symbolic Logic |
1952 |
| Introduction to mathematical thinking. The formation of concepts in modern mathematics. With a foreword by Karl Menger. Translated by Theodore J. Benac |
Friedrich Waismann |
Alonzo Church |
The Journal of Symbolic Logic |
1952 |
| The theory of probability. An inquiry into the logical and mathematical foundations of the calculus of probability. English translation by Ernest H. Hutten and Maria Reichenbach |
Hans Reichenbach |
John G. Kemeny |
The Journal of Symbolic Logic |
1951 |
| Introduction to mathematical logic and its applications |
Ira Rosenbaum |
A. R. Turquette |
The Journal of Symbolic Logic |
1951 |
| Principles of mathematical logic. English translation of III 83(2) by Lewis M. Hammond, George G. Leckie, and F. Steinhardt. Edited and with notes by Robert E. Luce |
D. Hilbert and W. Ackermann |
G. Zubieta R. |
The Journal of Symbolic Logic |
1951 |
| A logico-mathematical enquiry into the concept of number. German with English translation by J. L. Austin |
Gottlob Frege, The foundations of arithmetic |
Max Black |
The Journal of Symbolic Logic |
1951 |
| An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities |
George Boole |
Alonzo Church |
The Journal of Symbolic Logic |
1951 |
| The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning by George Boole (Die mathematische Analyse der Logik: Der Versuch eines Kalküls des deduktiven Schließen von George Boole) |
George Boole |
P. F. Strawson |
Philosophy |
1950-10-00 |
| The Elements of Mathematical Logic |
Paul Rosenbloom |
B. H. Kazemier |
Synthese |
1950-01-00 |
| Critical philosophy and mathematical axiomatics. English translation of 3711, 2, by Thomas K. Brown III |
Leonard Nelson |
Anders Wedberg |
The Journal of Symbolic Logic |
1950 |
| On unsolvable mathematical problems |
L. Kalmár |
Andrzej Mostowski |
The Journal of Symbolic Logic |
1949-06-23 |
| The Mathematical Analysis of Logic |
J. C. C. McKinsey |
C. West Churchman |
Philosophy of Science |
1949-01-01 |
| Logika matematyczna (Mathematical Logic) |
Andrzej Mostowski |
Roman Suszko |
Synthese |
1948-01-00 |
| The mathematical analysis of logic, being an essay towards a calculus of deductive*easoning |
George Boole |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| Mathematical logic. Second printing |
Willard Van Orman Quine |
Alonzo Church |
The Journal of Symbolic Logic |
1947-06-23 |
| The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars |
Z. Jordan |
E. N. |
The Journal of Philosophy |
1946-09-02 |
| The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars |
Z. Jordan |
M. Macdonald |
Philosophy |
1946-07-00 |
| Russell's mathematical logic |
Kurt Gödel |
Paul Bernays |
The Journal of Symbolic Logic |
1946 |
| Mathematical biophysics of the central nervous system |
Alston S. Householder and Herbert D. Landahl |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1946 |
| The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars |
Z. Jordan |
Andrzej Mostowski |
The Journal of Symbolic Logic |
1946 |
| Introduction to mathematical logic |
Alonzo Church |
G. D. W. Berry |
The Journal of Symbolic Logic |
1945 |
| Introduction to Mathematical Logic. Part I Alonzo Church C. A. Truesdell |
Alonzo Church |
E. N. |
The Journal of Philosophy |
1944-12-00 |
| Mathematical logic |
W. V. Quine |
E. Toms |
Philosophy |
1943-11-01 |
| Elementary topics in mathematical logic |
Alonzo Church |
Morton G. White |
The Journal of Symbolic Logic |
1942 |
| The two-valued iterative systems of mathematical logic |
Emil L. Post |
H. E. Vaughan |
The Journal of Symbolic Logic |
1941 |
| O logice matematycznej i metodzie dedukcyjnej (On mathematical logic and the deductive method). Bibljoteczka matematyczna 3–5. Ksiażnica-Atlas, Lwów and Warsaw |
Alfred Tarski |
Saunders MacLane |
The Journal of Symbolic Logic |
1938 |
| Mathematical logic |
Alonzo Church |
H. B. Curry |
The Journal of Symbolic Logic |
1937 |
| Mathematical logic |
Alonzo Church |
H. B. Curry |
The Journal of Symbolic Logic |
1937 |
| The Philosophical Presuppositions of Mathematical Logic |
Harold R |
R. B. Braithwaite |
Philosophy |
1927-04-01 |
| The Philosophical Presuppositions of Mathematical Logic |
Harold R. Smart |
R. B. Braithwaite |
Journal of Philosophical Studies |
1927-04-00 |
