| Mathematics and logic in history and in contemporary thought. English translation of XXVIII 171(2) by Isabel Quigly |
Ettore Carruccio |
Harry V. Stopes-Roe |
The Journal of Symbolic Logic |
1967 |
| Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
Charles Parsons |
The Journal of Symbolic Logic |
1967 |
| Hans-Dieter Sluga. Frege und die Typentheorie. Eine historische Untersuchung. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
Ignacio Angelelli |
The Journal of Symbolic Logic |
1967 |
| Some recent work of Ehrenfeucht and Fraïssé |
Solomon Feferman |
Erwin Engeler |
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 |
| Combinatory logic. Volume I. With two sections by William Craig |
Haskell B. Curry and Robert Feys |
J. Barkley Rosser |
The Journal of Symbolic Logic |
1967 |
| Computational complexity of recursive sequences |
J. Hartmanis and R. E. Stearns |
Jiří Bečvář |
The Journal of Symbolic Logic |
1967 |
| The unit preference strategy in theorem proving |
Lawrence Wos, Daniel Carson, and George Robinson |
David Luckham |
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 |
| Recursive equivalence types and combinatorial functions |
John Myhill |
J. C. E. Dekker |
The Journal of Symbolic Logic |
1966-09-02 |
| Logic and Sexual Morality |
John Wilson |
David Sladen |
Philosophy |
1966-04-00 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Alan Rose |
Philosophy of Science |
1966-03-01 |
| Reasoning and logic |
Richard B. Angell |
Milton Fisk |
Philosophy of Science |
1966-03-01 |
| Contributions to Logic and Methodology in Honor of J. M. Bocheński |
Anna-teresa Tymieniecka |
Desmond Paul Henry |
The British Journal for the Philosophy of Science |
1966-02-01 |
| Logic and Language |
B. H. Kazemier and D. Vuysje |
JAMES CARGILE |
The British Journal for the Philosophy of Science |
1966-02-01 |
| Mathematics and Logic in History and in Contemporary Thought |
Ettore Carruccio |
Edward E. Dawson |
Philosophy |
1966-01-00 |
| Histoire de la logique |
Marcel Boll and Jacques Reinhart |
Ignacio Angelelli |
The Journal of Symbolic Logic |
1966 |
| Comparing the axioms of local and universal choice |
Azriel Lévy |
A. Hajnal |
The Journal of Symbolic Logic |
1966 |
| 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 |
| Names and descriptions |
A. J. Ayer |
James Thomson |
The Journal of Symbolic Logic |
1966 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1966 |
| Recursive ordinals and predicative set theory |
Clifford Spector |
D. A. Clarke |
The Journal of Symbolic Logic |
1966 |
| Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902 |
Ralph Monroe Eaton |
Charles A. Baylis |
The Journal of Symbolic Logic |
1966 |
| Hierarchies and the axiom of constructibility |
J. W. Addison |
D. A. Clarke |
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 |
| 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 |
| Logic and Reality |
Gustav Bergmann |
John Trentman |
Dialogue |
1965-12-01 |
| The Principles of Science. A Treatise on Logic and Scientific Method |
W. Stanley Jevons |
William Kneale |
The British Journal for the Philosophy of Science |
1965-05-01 |
| Definition in Plato's Meno: An Inquiry in the Light of Logic and Semantics into the Kind of Definition Intended by Socrates When He Asks 'What Is Virtue?' |
Laura Grimm |
A. R. Lacey |
Philosophy |
1965-04-00 |
| The Logic and Psychology of Science |
Ernest Hutten |
Reginald O. Kapp |
The British Journal for the Philosophy of Science |
1965-02-00 |
| Principia mathematica to *56. A reprint of 1941 as far as *56, including |
Alfred North Whitehead and Bertrand Russell |
Charles Parsons |
The Journal of Symbolic Logic |
1965 |
| Some problems and results relevant to the foundations of set theory |
Alfred Tarski |
Thomas Frayne |
The Journal of Symbolic Logic |
1965 |
| Truth definitions and consistency proofs |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Process and existence in mathematics |
Hao Wang |
Elliott Mendelson |
The Journal of Symbolic Logic |
1965 |
| Between number theory and set theory |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1965 |
| Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic |
Evert W. Beth |
Leon Henkin |
The Journal of Symbolic Logic |
1965 |
| Set Theory and Its Logic. By Willard Van Orman Quine |
Quine Willard Van Orman |
John Heintz |
Dialogue |
1964-12-01 |
| Mathematical Logic and the Foundations of Mathematics |
G. T. Kneebone |
J. C. Shepherdson |
The British Journal for the Philosophy of Science |
1964-11-01 |
| Logic and Criticism |
William Righter |
Karl Britton |
Philosophy |
1964-10-00 |
| 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 |
| Set Theory and its Logic |
Willard Van Orman Quine |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1964-07-00 |
| Philotheus Boehner. Ockham's theory of supposition and the notion of truth. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham |
Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts |
Ernest A. Moody |
The Journal of Symbolic Logic |
1964 |
| Foundations of set theory |
Abraham A. Fraenkel and Yehoshua Bar-Hillel |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1964 |
| The logical basis of axiom systems |
John M. Anderson and Henry W. Johnstone Jr., Natural deduction |
Donald Kalish |
The Journal of Symbolic Logic |
1964 |
| Philotheus Boehner. Ockham's Tractatus de praedestinatione et de praescientia Dei et de futuris contingentibus and its main problems. A reprint of VII 46. Philotheus Boehner, O.F.M., Ph.D., Collected articles on Ockham |
Eligius M. Buytaert, Franciscan Institute publications, philosophy series no. 12, The Franciscan Institute, St. Bonaventure, N.Y., E. Nauwelaerts |
Ernest A. Moody |
The Journal of Symbolic Logic |
1964 |
| American philosophy in the twentieth century. Reason and the common good, Selected essays of Arthur E. Murphy, Prentice-Hall, Inc., Englewood Cliffs, N.J |
Arthur E. Murphy |
Alonzo Church |
The Journal of Symbolic Logic |
1964 |
| Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959) |
J. W. Addison |
Donald L. Kreider |
The Journal of Symbolic Logic |
1964 |
| Knowledge and belief. An introduction to the logic of the two notions |
Jaakko Hintikka |
Hector-Neri Castañeda |
The Journal of Symbolic Logic |
1964 |
