| Fate, logic, and time |
Steven M. Cahn |
R. M. Dancy |
The Philosophical Review |
1969-10-00 |
| Logic and Social Choice |
Y. Murakami |
Richard Kihlstrom |
Public Choice |
1969-10-00 |
| Contemporary Philosophy: La Philosophie contemporaine; Vol. I, Logic and Foundations of Mathematics |
Raymond Klibansky |
Alex C. Michalos |
Dialogue |
1969-09-01 |
| Maurice Gross and André Lentin. Notions sur les grammaires formelles |
|
Andrzej Blikle |
The Journal of Symbolic Logic |
1969-07-25 |
| Being, Negation and Logic |
Eric Toms |
Gerard Deledalle |
Les Études Philosophiques |
1969-07-01 |
| The Logic of Decision and Action |
Nicholas Rescher |
Robert W Beard |
The Journal of Value Inquiry |
1969-06-01 |
| Elements of mathematical logic. (Model theory) |
G. Kreisel and J. L. Krivine |
C. C. Chang |
The Journal of Symbolic Logic |
1969-05-29 |
| W. Hanf. Model-theoretic methods in the study of elementary logic. 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 |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| Polish analytical philosophy. A survey and a comparison with British analytical philosophy. International Library of Philosophy and Scientific Method |
Henryk Skolimowski |
Krister Segerberg |
The Journal of Symbolic Logic |
1969-05-29 |
| H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
David Nelson |
The Journal of Symbolic Logic |
1969-05-29 |
| Logic and Reality in Leibniz's Metaphysics |
G H R Parkinson |
Marta Lopez Gil |
Cuadernos de Filosofía |
1969-01-01 |
| Sense and Reference in Frege's Logic |
Christian Thiel |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1969-01-00 |
| Introduction to logic and sets |
Robert R. Christian |
Alfons Borgers |
The Journal of Symbolic Logic |
1969 |
| Advanced calculus |
Lynn H. Loomis and Shlomo Sternberg |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969 |
| Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson |
N. E. Kobrinskii and B. A. Trakhtenbrot |
Robert McNaughton |
The Journal of Symbolic Logic |
1968-10-10 |
| Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960 |
A. Heyting, Studies in logic and the foundations of mathematics |
Yiannis N. Moschovakis |
The Journal of Symbolic Logic |
1968-10-10 |
| R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. 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 |
G. Fuhrken |
The Journal of Symbolic Logic |
1968-10-10 |
| The Logic of Choice: An Investigation of the Concepts of Rule and Rationality |
Gidon Gottlieb |
יוסף רז |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1968-10-00 |
| Logic and Philosophy. Selected Readings. (The Century Philosophy Series) |
Gary Iseminger |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1968-10-00 |
| Michael Morley. Omitting classes of elements. 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 |
E. G. K. Lopez-Escobar |
The Journal of Symbolic Logic |
1968-07-23 |
| Introduction to the formal analysis of natural languages |
Noam Chomsky and George A. Miller |
Joseph S. Ullian |
The Journal of Symbolic Logic |
1968-07-23 |
| Foundational aspects of theories of measurement. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959) |
Dana Scott and Patrick Suppes |
Robert L. Causey |
The Journal of Symbolic Logic |
1968-07-23 |
| Signification and significance. A study of the relation of signs and values. The M.I.T |
Charles Morris |
Alonzo Church |
The Journal of Symbolic Logic |
1968-07-23 |
| Fate, logic, and time |
Steven M. Cahn |
Julian Wolfe |
Dialogue |
1968-06-01 |
| Logic and Language of Education |
G. F. Kneller |
E. H. W. |
The Review of Metaphysics |
1968-06-00 |
| A. Robinson. A basis for the mechanization of the theory of equations. 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 |
| Cours de calcul booléien appliqué (notions tur les ensembles et les treillis, algèbres booléiennes, algèbre binaire). With a preface by René de Possel |
M. Denis-Papin, A. Kaufmann, and R. Faure |
Alonzo Church |
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 |
| 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 |
| Degree of unsolvability and the rate of growth of functions |
S. Tennenbaum |
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 |
| 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 |
| 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 |
| 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 |
| Probability and the logic of rational belief |
Henry E. KyburgJr |
Wesley C. Salmon |
Philosophy of Science |
1967-09-01 |
| 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 |
| Logic and Reality in Leibniz's Metaphysics |
G. H. R. Parkinson |
W. B. Carter |
Dialogue |
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 |
| Logic, and Time |
Steven M. Cahn |
H. A. Nielsen |
The Thomist: A Speculative Quarterly Review |
1967-01-01 |
| Mathematics and Logic in History and Contemporary Thought |
Ettore Carruccio |
E. J. (Edward John) Lemmon |
Journal of the History of Philosophy |
1967-01-01 |
| A Deductive Theory of Space and Time, Studies in Logic |
Saul A. Basri |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-01-00 |
| International directory of philosophy and philosophers |
Gilbert Varet and Paul Kurtz, editors |
Alonzo Church |
The Journal of Symbolic Logic |
1967 |
| 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 |
| A non-heuristic program for proving elementary logical theorems. English, with French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco |
B. Dunham, R. Fridshal, and G. L. Sward |
Joyce Friedman |
The Journal of Symbolic Logic |
1967 |
| Elementary (arithmetical) extensions |
A. Tarski and R. L. Vaught |
Abraham Robinson |
The Journal of Symbolic Logic |
1967 |
