| 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 |
| The theory of logical types |
Irving M. Copi |
Francis Jeffry Pelletier |
The Journal of Symbolic Logic |
1974 |
| Logic and philosophy. A modern introduction |
Howard Kahane |
Richard E. Robinson |
The Journal of Symbolic Logic |
1974 |
| Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique |
Gr.C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Recursion in objects of finite type |
Gerald E. Sacks |
D. A. Clarke |
The Journal of Symbolic Logic |
1974 |
| Théorie axiomatique des ensembles |
Jean-Louis Krivine |
Azriel Levy |
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 |
| Peirce's icons for deductive logic |
Hugues Leblanc |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1974 |
| Introduction |
Ignacio Angelelli |
Michael D. Resnik |
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 |
| Conceptual foundations of scientific thought. An introduction to the philosophy of science |
Marx W. Wartofsky |
David Miller |
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 |
| Symbolic logic |
Irving M Copi |
Donald Kalish |
The Journal of Symbolic Logic |
1974 |
| Simplified independence proofs. Boolean valued models of set theory |
J. Barkley Rosser |
Aleksander Rutkowski |
The Journal of Symbolic Logic |
1974 |
| Replies to my critics. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
C. I. Lewis |
M. J. Cresswell |
The Journal of Symbolic Logic |
1974 |
| Mathematical logic as based on the theory of types. A reprint of the first five sections of 11116 |
Bertrand Russell |
Alonzo Church |
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 |
| A general interpreted modal calculus |
Aldo Bressan |
R. A. Bull |
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 |
| Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
A. S. Kechris |
The Journal of Symbolic Logic |
1974 |
| Introductory note |
Jean van Heijenoort |
Alonzo Church |
The Journal of Symbolic Logic |
1974 |
| Lewis on contrary-to-fact conditionals. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
Arthur Pap |
M. J. Cresswell |
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 |
| Robert M. Solovay On the cardinality of sets of reals |
|
Frank R. Drake |
The Journal of Symbolic Logic |
1974 |
| The logic of C. I. Lewis. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
William Tuthill Parry |
M. J. Cresswell |
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 |
| Contributions to non-standard analysis |
W. A. J. Luxemburg |
Diana L. Dubrovsky |
The Journal of Symbolic Logic |
1974 |
| Concepts, numbers, and quality |
Nicholas Georgescu-Roegen |
David Booth |
The Journal of Symbolic Logic |
1974 |
| The algebra of the copula |
Arthur N. Prior |
Alan Ross Anderson |
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 |
| The language of logic. A programed text |
Morton L. Schagrin |
H. B. Enderton |
The Journal of Symbolic Logic |
1974 |
| Logic for Philosophers |
Richard L. Purtill |
Richard E. Robinson |
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 |
| Problems in the foundations of physics |
Mario Bunge |
Anonymous |
International Logic Review |
1973-12-01 |
| Experiences |
J M Hinton |
Anonymous |
International Logic Review |
1973-12-01 |
| Objects of Thought |
A N Prior |
Anonymous |
International Logic Review |
1973-12-01 |
| Language and Philosophy |
Justus Hartnack |
Anonymous |
International Logic Review |
1973-12-01 |
| Deductive Logic |
Hughes Leblanc |
Yvon Gauthier |
Dialogue |
1973-12-01 |
| Logic for Philosophers |
Richard L Purtill |
Barrie A Wilson |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1973-11-01 |
| Language, Logic and Criterion: A Defence of Non-Positivistic Logical Empiricism |
H G Hubbeling |
Josef Voss |
Revue Philosophique de Louvain |
1973-11-01 |
| Logic Matters |
P T Geach |
Leslie Stevenson |
The Philosophical Quarterly |
1973-10-01 |
