| Fate, logic, and time |
Steven M. Cahn |
Paul Fitzgerald |
Philosophy of Science |
1971-03-01 |
| A Study of Husserl's Formal and Transcendental Logic |
Suzanne Bachelard |
Peter McCormick |
Journal of the British Society for Phenomenology |
1971-01-01 |
| Formal and Transcendental Logic |
Edmund Husserl |
Peter McCormick |
Journal of the British Society for Phenomenology |
1971-01-01 |
| The Logic of Leviathan: The Moral and Political Theory of Thomas Hobbes |
David P. Gauthier |
Albert Heinekamp |
Studia Leibnitiana |
1971-01-00 |
| Max Black on Logic and Language (Critical Review) / מאכס בלאק על לוגיקה ושפה: מאמר-ביקורת |
|
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1971-01-00 |
| Computer-assisted instruction: Stanford's 1965–66 arithmetic program |
Patrick Suppes, Max Jerman, Dow Brian in collaboration with Diana Axelsen, Guy Groen, Lester Hyman, and Brian Tolliver |
Layman E. Allen |
The Journal of Symbolic Logic |
1971 |
| W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability |
W. A. J. Luxemburg |
Louis Narens |
The Journal of Symbolic Logic |
1971 |
| Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff |
M. Gross and A. Lentin |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Gambling with Truth: An Essay on Induction and the Aims of Science |
Isaac Levi |
David Miller |
The Journal of Symbolic Logic |
1971 |
| Terms in their propositional contexts in Wittgenstein's Tractatus. An index |
George Kimball Plochmann and Jack B. Lawson |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. 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 |
Anne Preller |
The Journal of Symbolic Logic |
1971 |
| Term logic with choice operator. A revised and enlarged translation of XXXV 440 |
Hans Hermes |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Abstract sets and finite ordinals. An introduction to the study of set theory |
G. B. Keene |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Michael O. Rabin. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
William Hanf |
The Journal of Symbolic Logic |
1971 |
| Basic measurement theory |
Patrick Suppes and Joseph L. Zinnes |
Robert L. Causey |
The Journal of Symbolic Logic |
1971 |
| Axiomatic method and intuitionism |
A. Heyting |
D. van Dalen |
The Journal of Symbolic Logic |
1971 |
| Peter Freyd. The theories of functors and models. 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 |
Anne Preller |
The Journal of Symbolic Logic |
1971 |
| The Problem of Induction and its Solution |
Jerrold J. Katz |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| Intuitionistic logic model theory and forcing |
Melvin Chris Fitting |
F. R. Drake |
The Journal of Symbolic Logic |
1971 |
| The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference |
Frank B. Cannonito |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R. Korfhage |
Jiří Bečvář |
The Journal of Symbolic Logic |
1971 |
| Automation cybernetics and society |
F. H. George |
H. B. Enderton |
The Journal of Symbolic Logic |
1971 |
| L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Wolfgang Rautenberg |
The Journal of Symbolic Logic |
1971 |
| A Boolean algebra abstract and concrete |
A. P. Bowran |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| On completeness and decidability of some non-definable notions of elementary hyperbolic geometry |
Wolfram Schwabhäuser |
Lesław W. Szczerba |
The Journal of Symbolic Logic |
1971 |
| A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
O. Chateaubriand |
The Journal of Symbolic Logic |
1971 |
| An introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
R. A. Bull |
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 |
| Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. 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 |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Carol R. Karp. Finite-quantifier equivalence. 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 |
H. Jerome Keisler |
The Journal of Symbolic Logic |
1971 |
| Wolfram Schwabhäuser. On models of elementary elliptic geometry. 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 |
L. W. Szczerba |
The Journal of Symbolic Logic |
1971 |
| An Essay in Deontic Logic and the General Theory of Action |
Georg Henrik Von Wright |
A N Prior |
Ratio |
1970-12-01 |
| Logic and philosophy. A modern introduction |
Howard Kahane |
E. E. Dawson |
The British Journal for the Philosophy of Science |
1970-11-01 |
| Brains, Machines and Mathematics |
Michael A Arbib |
Joseph S Ullian |
The Journal of Symbolic Logic |
1970-09-01 |
| Topics on Philosophical Logic |
Nicholas Rescher |
James E Tomberlin |
Philosophy and Phenomenological Research |
1970-09-01 |
| The Logic of Choice: An Investigation of the Concepts of Rule and Rationality |
Gidon Gottlieb |
Jerzy Wroblewski |
Logique et Analyse |
1970-09-01 |
| The Logic of Leviathan: The Moral and Political Theory of Thomas Hobbes |
David P Gauthier |
W J Rees |
The Philosophical Quarterly |
1970-07-01 |
| The Logic of Decision and Action |
Nicholas Rescher |
K Fine |
The Philosophical Quarterly |
1970-07-01 |
| Margins of Precision: Essays in Logic and Language |
Max Black |
A Hoyt Hobbs |
The Journal of Critical Analysis |
1970-07-01 |
| Contemporary Philosophy. A Survey. I: Logic and Foundations of Mathematics. II: Philosophy of Science. (International Institute of Philosophy) |
Raymond Klibansky |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1970-07-00 |
| The Langauge of Logic |
Hans Freudenthal |
Haskell B Curry |
Foundations of Language: International Journal of Language and Philosophy |
1970-05-01 |
| Logica Modernorum: A Contribution to the History of Early Terminist Logic. Volume I: On the Twelfth Century Theories of Fallacy. Volume II: The Origin and Early Development of the Theory of Supposition |
Lambertus Marie De Rijk |
Norman Kretzmann |
The Philosophical Review |
1970-04-00 |
| Contemporary Philosophy (La Philosophie Contemporaine). Volume I, Logic and Foundations of Mathematics |
R. Klibansky |
R. H. K. |
The Review of Metaphysics |
1970-03-00 |
| Set Theory and its Logic (Revised Ed) |
V O Quine |
Donald A Martin |
The Journal of Philosophy |
1970-02-01 |
| An Essay in Deontic Logic and the General Theory of Action |
Georg Henrik Von Wright |
Georges Kalinowski |
Archiv für Rechts- und Sozialphilosophie |
1970-01-01 |
| The Logic of Choice: An Investigation of the Concepts of Rule and Rationality |
Gidon Gottlieb |
Jerzy Wroblewski |
Revue internationale de philosophie |
1970-01-01 |
| Rules of Acceptance and Inductive Logic. Acta Philosophica Fennica, Fasc. XXII |
Risto Hilpinen |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1970-01-00 |
| Formal Logic: Its Scope and Limits |
Richard C. Jeffrey |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1970-01-00 |
| Any and all |
Zeno Vendler |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
F. R. Drake |
The Journal of Symbolic Logic |
1970 |
