| Derivation and Counterexample: An Introduction to Philosophical Logic |
Karel Lambert and Bas C. van Fraassen |
א. י. י. פ. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1974-01-00 |
| H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
H.-D. Ebbinghaus |
The Journal of Symbolic Logic |
1974 |
| Logic and philosophy. A modern introduction |
Howard Kahane |
Richard E. Robinson |
The Journal of Symbolic Logic |
1974 |
| Michael Morley. Partitions and models. Proceedings of the summer school in logic, Leeds |
M. H. Löb, Lecture notes in mathematics, no. 70 |
Wilfrid Hodges |
The Journal of Symbolic Logic |
1974 |
| Fred Sommers. On a Fregean dogma. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos, Studies in logic and the foundations of mathematics |
Gerald Standley |
The Journal of Symbolic Logic |
1974 |
| Freedom and Reason |
R. M. Hare |
Brian F. Chellas |
The Journal of Symbolic Logic |
1974 |
| Formalization and automatic theorem-proving |
Hao Wang |
Joyce Friedman |
The Journal of Symbolic Logic |
1974 |
| Heinrich Behmann. Drei Aporien der Identität. Logik and Logikkalkül |
Max Käsbauer and Franz von Kutschera |
John Perry |
The Journal of Symbolic Logic |
1974 |
| Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. 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 |
William Glassmire |
The Journal of Symbolic Logic |
1974 |
| Law and Logic |
Joseph Horovitz |
Nicholas A. Vonneuman |
The Journal of Symbolic Logic |
1974 |
| Lewis and the history of symbolic logic. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
Karl Dürr |
M. J. Cresswell |
The Journal of Symbolic Logic |
1974 |
| Proof theory and intuitionistic systems |
Bruno Scarpellini |
A. S. Troelstra |
The Journal of Symbolic Logic |
1974 |
| Pascual Jordan. Quantenlogik und das kommutative Gesetz. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4 |
Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics |
M. Drieschner |
The Journal of Symbolic Logic |
1974 |
| D. Hilbert and P. Bernays |
|
G. T. Kneebone |
The Journal of Symbolic Logic |
1974 |
| E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Hans Freudenthal |
The Journal of Symbolic Logic |
1974 |
| Marshall Swain. Editor's introduction. Induction, acceptance, and rational belief |
Marshall Swain |
Ian Hacking |
The Journal of Symbolic Logic |
1974 |
| Concepts, numbers, and quality |
Nicholas Georgescu-Roegen |
David Booth |
The Journal of Symbolic Logic |
1974 |
| Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages |
Jon Barwise, Lecture notes in mathematics, no. 72 |
N. J. Cutland |
The Journal of Symbolic Logic |
1974 |
| R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
Per Martin-Löf |
Robert A Di Paola |
The Journal of Symbolic Logic |
1974 |
| F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla |
S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl |
Calvin C. Elgot |
The Journal of Symbolic Logic |
1974 |
| Epistemology, Logic, and Grammar in Indian Philosophical Analysis, Janua Linguarum, Series Minor III |
Bimal K. Matilal |
Peter H Salus |
Journal of Indian Philosophy |
1974 |
| Language and Philosophy |
Justus Hartnack |
Anonymous |
International Logic Review |
1973-12-01 |
| Language, Logic and Criterion: A Defence of Non-Positivistic Logical Empiricism |
H G Hubbeling |
Josef Voss |
Revue Philosophique de Louvain |
1973-11-01 |
| Studies in Inductive Logic and Probability, V1 |
R Carnap |
R G Swinburne |
Mind |
1973-10-01 |
| Buddhist Formal Logic |
Richard S Y Chi |
Douglas Dunsmore Daye |
Philosophy East and West |
1973-10-01 |
| Law and Logic |
Joseph Horovitz |
Lawrence C. Becker |
Ethics |
1973-10-01 |
| Leibniz's Philosophy of Logic and Language |
Hidé Ishiguro |
John Hostler |
Philosophy |
1973-10-00 |
| Leibniz's Philosophy of Logic and Language |
Hide Ishiguro |
Anonymous |
International Logic Review |
1973-06-01 |
| Defining Relations and Algorithmic Problems for Groups and Semigroups |
S I Adjan |
Ann Yasuhara |
The Journal of Symbolic Logic |
1973-06-01 |
| Margins of Precision: Essays in Logic and Language |
M. Black |
L. A. |
The Review of Metaphysics |
1973-06-00 |
| Deontic Logic: Introductory and Systematic Readings |
Risto Hilpinen |
Georges Kalinowski |
Archives de Philosophie |
1973-04-01 |
| Eighteenth-Century British Logic and Rhetoric |
Wilbur Samuel Howell |
Gerard A. Hauser |
Philosophy & Rhetoric |
1973-04-00 |
| Logic and Art. Essays in Honor of Nelson Goodman |
Richard Rudner |
Lee Andrew Elioseff |
The Journal of Aesthetics and Art Criticism |
1973-03-01 |
| Logic and System |
M Clark |
Richard J Getrich |
The Review of Metaphysics |
1973-03-01 |
| Formal Semantics and Logic |
Bas C Van Fraassen |
N. L. Wilson |
Dialogue |
1973-03-01 |
| Logic and Reality, An Investigation into the Idea of a Dialectical System |
Leslie Armour |
Peter Smale |
Dialogue |
1973-03-01 |
| Theory of science. Attempt at a detailed and in the main novel exposition of logic with constant attention to earlier authors |
Bernard Bolzano |
Joseph J. Kockelmans |
Philosophy of Science |
1973-03-01 |
| Introduction to the Basic Concepts and Problems of Modern Logic |
G. Hasen Jaeger |
Jean Van Heijenoort |
The Journal of Philosophy |
1973-02-00 |
| Medieval Logic and Metaphysics: A Modern Introduction |
D. P. Henry |
Osmund Lewry |
New Blackfriars |
1973-01-01 |
| Law and Logic |
J Horovitz |
I Tammelo |
Scientia: International Review of Scientific Synthesis |
1973-01-01 |
| Eighteenth-Century British Logic and Rhetoric |
Wilbur Samuel Howell |
P K Bastable |
Philosophical Studies |
1973-01-01 |
| Language, Logic, and Time |
Martin Heidegger |
John D. Caputo |
Research in Phenomenology |
1973-01-00 |
| Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie |
Gert Heinz Müller |
Dieter Rödding |
The Journal of Symbolic Logic |
1973 |
| Non-standard models and independence of the induction axiom |
Michael O. Rabin |
C. Smorynski |
The Journal of Symbolic Logic |
1973 |
| A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
R. E. Vesley |
The Journal of Symbolic Logic |
1973 |
| Normative systems |
Carlos E. Alchourrón and Eugenio Bulygin |
M. J. Cresswell |
The Journal of Symbolic Logic |
1973 |
| John Myhill. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1973 |
| R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
Carl E. Gordon |
The Journal of Symbolic Logic |
1973 |
| The number systems. Foundations of algebra and analysis |
Solomon Feferman |
William E. Gould |
The Journal of Symbolic Logic |
1973 |
| David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1973 |
