| A transfinite type theory with type variables |
P. B. Andrews |
R. O. Gandy |
The Journal of Symbolic Logic |
1968-04-26 |
| E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| Frege |
Rosaria Egidi |
F. Kambartel |
The Journal of Symbolic Logic |
1968-04-26 |
| 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 |
| The Logic of Saint Anselm |
Desmond Paul Henry |
Timothy V. Potts |
New Blackfriars |
1968-04-01 |
| Readings on Logic |
Irving M. Copi |
א. י. י. פ. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1968-04-00 |
| From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931 |
Jean Van Heijenoort |
Andrzej Mostowski |
Synthese |
1968-04-00 |
| Logica modernorum; A Contribution to The History of Early Terminist Logic. Vol. II part one: The Origin and Early Development of The Theory of Supposition; Vol. II part two: Texts, Indices. (Wijsgerige teksten en studies, XVI) |
L. M. De Rijk |
Jan Pinborg |
Vivarium |
1968-01-00 |
| Konstruktive Grundlagen der Logik |
Amitabha Ghose |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1968 |
| Proving a theorem (as done by man, logician, or machine) |
Abraham Robinson |
J. A. Robinson |
The Journal of Symbolic Logic |
1968 |
| Ein dialogisches Konstruktwitätskriterium |
P. Lorenzen |
G. Kreisel |
The Journal of Symbolic Logic |
1968 |
| Studies in the history of Arabic logic |
Nicholas Rescher |
Timothy C. Potts |
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 |
| Introduction to lattice theory |
D. E. Rutherford |
Donald Monk |
The Journal of Symbolic Logic |
1968 |
| Theorem proving by machine |
H. Gelernter |
J. A. Robinson |
The Journal of Symbolic Logic |
1968 |
| Degree of unsolvability and the rate of growth of functions |
S. Tennenbaum |
F. B. Cannonito |
The Journal of Symbolic Logic |
1968 |
| Der logische Aufbau der Welt. Scheinprobleme in der Philosophie |
Rudolf Carnap |
Wolfgang Stegmüller |
The Journal of Symbolic Logic |
1968 |
| On a simple source for non-computable functions |
Tibor Rado |
F. B. Cannonito |
The Journal of Symbolic Logic |
1968 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
Alex C. Michalos |
Dialogue |
1967-12-01 |
| Introduction to logic |
Nicholas Rescher |
Samuel Gorovitz |
Philosophy of Science |
1967-12-01 |
| Aspects of Inductive Logic |
J. Hintikka |
Jens Erik Fenstad |
Synthese |
1967-12-00 |
| Roderick M. Chisholm. Sentences about believing. Proceedings of the Aristotelian Society, n.s. vol. 56 (1955–6) |
Herbert Feigl, Michael Scriven, and Grover Maxwell |
Charles A. Baylis |
The Journal of Symbolic Logic |
1967-10-09 |
| Une notion de récursivité relative |
R. Fraïssé |
Günter Asser |
The Journal of Symbolic Logic |
1967-10-09 |
| First course in mathematical logic |
Patrick Suppes and Shirley Hill |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| Cylindrical algebras |
Leon Henkin and Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| R. McNaughton and H. Yamada. Regular expressions and state graphs for automata. Sequential machines, Selected papers |
Edward F. Moore |
Andrzej J. Blikle |
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 |
| Scientific method |
Charles Sanders Peirce |
Alonzo Church |
The Journal of Symbolic Logic |
1967-10-09 |
| Aspects of the theory of syntax. The M.I.T |
Noam Chomsky |
J. F. Staal |
The Journal of Symbolic Logic |
1967-10-09 |
| David A. Huffman. Canonical forms for information-lossless finite-stale logical machines. Sequential machines, Selected papers |
Edward F. Moore |
Andrzej J. Blikle |
The Journal of Symbolic Logic |
1967-10-09 |
| Elementary concepts of modern mathematics |
Flora Dinkines |
Alfons Borgers |
The Journal of Symbolic Logic |
1967-10-09 |
| Some applications of the theory of models to set theory |
H. Jerome Keisler |
Azriel Lévy |
The Journal of Symbolic Logic |
1967-10-09 |
| N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
G. H. Matthews |
The Journal of Symbolic Logic |
1967-10-09 |
| Introduction to logic |
William of Sherwood |
Ivo Thomas |
Philosophy of Science |
1967-09-01 |
| Probability and the logic of rational belief |
Henry E. KyburgJr |
Wesley C. Salmon |
Philosophy of Science |
1967-09-01 |
| Logika pragmatyczna (Pragmatical Logic) |
Kazimierz Ajdukiewicz |
Ryszard Wójcicki |
Synthese |
1967-09-00 |
| Logic and Reality in Leibniz's Metaphysics |
G. H. R. Parkinson |
George J Stack |
Journal of the History of Philosophy |
1967-07-01 |
| Mathematical logic: Constructive and non-constructive operations |
Stephen Cole Kleene |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-07-00 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
Stuart Silvers |
Philosophy of Science |
1967-06-01 |
| Elements of mathematical logic |
Jan Lukasiewicz |
C. Lajewski |
Philosophy of Science |
1967-06-01 |
| O. P. The Logic of Religion |
Joseph M. Bochenski |
E. L. Mascall |
Religious Studies |
1967-04-01 |
| Logic of Statistical Inference |
Ian Hacking |
Alex C. Michalos |
Dialogue |
1967-03-01 |
| Logic and Reality in Leibniz's Metaphysics |
G. H. R. Parkinson |
W. B. Carter |
Dialogue |
1967-03-01 |
| Fundamentals of logic |
Charles H. Roth |
Ivo Thomas |
Philosophy of Science |
1967-03-01 |
| Introduction to Logic and to the Methodology of the Deductive Sciences |
AlfrTarski. A Galaxy Book |
James Cargile |
The British Journal for the Philosophy of Science |
1967-02-01 |
| Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel |
R. Harré |
The British Journal for the Philosophy of Science |
1967-02-01 |
| Selected Logic Papers |
W.V. Quine |
Anthony Quinton |
The New York Review of Books |
1967-01-12 |
| The Domain of Logic According to Saint Thomas Aquinas |
S. J Robert W. Schmidt |
Dennis C. Kane |
The Thomist: A Speculative Quarterly Review |
1967-01-01 |
