| The relational syllogism. A systematic approach to relational logic |
G B Keene |
Boguslaw Iwanus |
Studia Logica |
1971-01-01 |
| Historians' Fallacies: Toward a Logic of Historical Thought |
David Hackett Fischer |
Louis O Mink |
History & Theory |
1971-01-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 |
| Kant's Transcendental Logic |
Thomas Kaehao Swing |
Eva Schaper |
Philosophy |
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 |
| Quine's Philosophical Logic (Critical Review) / הפילוסופיה של הלוגיקה של קואיין: מאמר-ביקורת |
|
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1971-01-00 |
| Max Black on Logic and Language (Critical Review) / מאכס בלאק על לוגיקה ושפה: מאמר-ביקורת |
|
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1971-01-00 |
| The Theory of Logical Types. (Monographs in Modern Logic) |
Irving M. Copi |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1971-01-00 |
| The Logic of Empirical Theories. (Monographies in Modern Logic Series) |
Marian Przełȩcki |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1971-01-00 |
| Problems of the Logic of Scientific Knowledge |
P.v. Tavanec |
Jean-blaise Grize |
Dialectica |
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 |
| After thirty years |
A. Heyting |
O. Chateaubriand |
The Journal of Symbolic Logic |
1971 |
| A universal Turing machine with two internal states |
Claude E. Shannon |
Patrick C. Fischer |
The Journal of Symbolic Logic |
1971 |
| The Diversity of Meaning |
L. Jonathan Cohen |
Jonathan Bennett |
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 |
| Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser |
Jacques Sublet |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1971 |
| J. McCarthy. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September |
Cicely M. Popplewell |
Richard J. Orgass |
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 |
| Preface |
Jean van Heijenoort |
Paul Bernays |
The Journal of Symbolic Logic |
1971 |
| Fundamentals of mathematics |
Moses Richardson |
William E. Gould |
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 |
| On the use of Hilbert's ε-operator in scientific theories |
Rudolf Carnap |
H. Bohnert |
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 |
| First-order functional calculus |
G. B. Keene |
William E. Gould |
The Journal of Symbolic Logic |
1971 |
| The logical structure of the world. Pseudoproblems in philosophy. English translation of XXXII 509(1) by Rolf A. George |
Rudolf Carnap |
Anders Wedberg |
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 |
| Juristische Logik |
Ulrich Klug |
Gert H. Müller |
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 |
| R. M. Hare |
|
Brian F. Chellas |
The Journal of Symbolic Logic |
1971 |
| Ten ontological or modal proofs for God's existence |
Charles Hartshorne |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| A Boolean algebra abstract and concrete |
A. P. Bowran |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Alexander Abian |
|
B. Rotman |
The Journal of Symbolic Logic |
1971 |
| Vollständige Systeme modaler und intuitionistischer Logik |
Kurt Schütte |
R. E. Vesley |
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 |
| Einführung in die Verbandstheorie |
Hans Hermes |
Pascual Jordan |
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 |
