| The Ontology of Physical Objects 4 reviews |
Mark Heller |
William R. Carter |
Philosophical Review |
1993-01-00 |
| The Dilemma of Freedom and Foreknowledge 8 reviews |
Linda Trinkaus Zagzebski |
Timothy O'Connor |
Philosophical Review |
1993-01-00 |
| Science and Necessity 4 reviews |
John Bigelow |
Joseph Mendola |
Philosophical Review |
1993-01-00 |
| Alfred J Freddoso 5 reviews |
|
Paul Vincent Spade |
Philosophical Review |
1993-01-00 |
| Plato's 'Parmenides' 4 reviews |
Constance C. Meinwald |
Patricia Kenig Curd |
Philosophical Review |
1993-01-00 |
| Place, Void, and Eternity. Philoponus: Corollaries on Place and Void. Simplicius: Against Philoponus on the Eternity of the World Philoponus Simplicius |
David Furley |
Harry A. Ide |
Philosophical Review |
1993-01-00 |
| On Action 7 reviews |
Carl Ginet |
Richard Malpas |
Philosophical Review |
1993-01-00 |
| Nomic Probability and the Foundations of Induction |
John L. Pollock |
Henry E Kyburg Jr |
Philosophical Review |
1993-01-00 |
| Identity, Consciousness and Value 8 reviews |
Peter Unger |
Robert C. Coburn |
Philosophical Review |
1993-01-00 |
| Determinism, Blameworthiness, and Deprivation 2 reviews |
Martha Klein |
Sarah Buss |
Philosophical Review |
1993-01-00 |
| Freedom and History and Other Essays: An Introduction to the Thought of Richard McKeon 2 reviews |
Zahava K McKeon |
Richard Buchanan |
Journal of Speculative Philosophy |
1993-01-00 |
| Foundations without Foundationalism 5 reviews |
Stewart Shapiro |
John Burgess |
Journal of Symbolic Logic |
1993 |
| Models of Peano arithmetic 2 reviews |
Richard Kaye |
C. Dimitracopoulos |
Journal of Symbolic Logic |
1993 |
| Elementary categories, elementary toposes |
Colin McLarty |
J. L. Bell |
Journal of Symbolic Logic |
1993 |
| Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics |
Lincoln A. Wallen |
Luis Fariñas Del Cerro |
Journal of Symbolic Logic |
1993 |
| Prolog. A logical approach |
Tony Dodd |
B. Wüthrich |
Journal of Symbolic Logic |
1993 |
| Directions in relevant logic 2 reviews |
Jean Norman |
N C A Da Costa |
Journal of Symbolic Logic |
1993 |
| Entities and indices. Studies in linguistics and philosophy, vol |
M. J. Cresswell |
James Higginbotham |
Journal of Symbolic Logic |
1993 |
| Models for smooth infinitesimal analysis |
Ieke Moerdijk |
Anders Kock |
Journal of Symbolic Logic |
1993 |
| Computable set theory |
Domenico Cantone |
Lincoln A. Wallen |
Journal of Symbolic Logic |
1993 |
| Language in action. Categories, lambdas and dynamic logic |
Johan Van Benthem |
Richard T. Oehrle |
Journal of Symbolic Logic |
1993 |
| The Logical Basis of Metaphysics 6 reviews |
Michael Dummett |
Sanford Shieh |
Journal of Symbolic Logic |
1993 |
| Set theory with a universal set. Exploring an untyped universe 3 reviews |
T. E. Forster |
Randall Holmes |
Journal of Symbolic Logic |
1993 |
| Categories, allegories |
Peter J Freyd |
Marta C. Bunge |
Journal of Symbolic Logic |
1993 |
| Deducibility and decidability 3 reviews |
R. R. Rockingham Gill |
Albert Visser |
Journal of Symbolic Logic |
1993 |
| Proof, Logic and Formalization 3 reviews |
Michael Detlefsen |
Mark Steiner |
Journal of Symbolic Logic |
1993 |
| First-order logic and automated theorem proving |
Melvin Fitting |
Alfredo Ferro |
Journal of Symbolic Logic |
1993 |
| On truth |
Frank Plumpton Ramsey |
Paul Horwich |
Journal of Symbolic Logic |
1993 |
| Recursive functional |
Luis E. Sanchis |
Peter G. Hinman |
Journal of Symbolic Logic |
1993 |
| The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2) |
Jon Barwise |
Kevin J. Compton |
Journal of Symbolic Logic |
1993 |
| Logic and Information 4 reviews |
Keith Devlin |
I. L. Humberstone |
Journal of Symbolic Logic |
1993 |
| Proof theory. An introduction |
Wolfram Pohlers |
Andrea Cantini |
Journal of Symbolic Logic |
1993 |
| Classification theory and the number of non-isomorphic models 2 reviews |
S. Shelah |
Bradd Hart |
Journal of Symbolic Logic |
1993 |
| Mechanical intelligence, Collected works of A. M. Turing |
D. C. Ince |
Martin Davis |
Journal of Symbolic Logic |
1993 |
| Nonmonotonic reasoning: logical foundations of commonsense |
Gerhard Brewka |
Heinrich Herre |
Journal of Symbolic Logic |
1993 |
| Metaphysics as a Guide to Morals 4 reviews |
Iris Murdoch |
Ian Hacking |
London Review of Books |
1992-12-17 |
| Fearful Symmetry: Is God a Geometer? |
Ian Stewart and Martin Golubitsky |
Martin Gardner |
New York Review of Books |
1992-12-03 |
| Leibniz and Arnauld (Response to Mates) |
R C Sleigh Jr |
R C Sleigh Jr |
Leibniz Society Review |
1992-12-01 |
| The Principle of Reason 4 reviews |
Martin Heidegger |
Martin Weatherston |
International Philosophical Quarterly |
1992-12-01 |
| The Metaphysics of Epistemology: Lectures by Wilfrid Sellars 3 reviews |
Wilfrid Sellars |
George Berger |
Noûs |
1992-12-01 |
| Radical Pluralism and Truth |
Werner G Jeanrond |
Jim Byrne |
Hermathena: A Dublin University Review |
1992-12-01 |
| Natural Agency 8 reviews |
John Bishop |
Hugh J McCann |
Philosophy and Phenomenological Research |
1992-12-01 |
| Logique Moderne: Fascicle I (Second Edition) |
Jean-Blaise Grize |
James Gasser |
Journal of Symbolic Logic |
1992-12-01 |
| The Darkness and the Light |
Charles Hartshorne |
Santiago Sia |
Process Studies |
1992-12-01 |
| Leibniz and Arnauld: A Commentary on Their Correspondence 5 reviews |
R C Sleigh Jr |
Benson Mates |
Leibniz Society Review |
1992-12-01 |
| A Modern Formal Logic Primer, Volume II: Predicate Logic and Metatheory |
Paul Teller |
Hans V Hansen |
Teaching Philosophy |
1992-12-01 |
| The Recovery of the Soul 6 reviews |
Kenneth Rankin |
Wendy Lee-Lampshire |
Canadian Philosophical Reviews |
1992-12-01 |
| Causation and Universals 7 reviews |
Evan Fales |
John W Carroll |
Philosophy and Phenomenological Research |
1992-12-01 |
| A Modern Formal Logic Primer, Volume I: Sentence Logic |
Paul Teller |
Hans V Hansen |
Teaching Philosophy |
1992-12-01 |
| Complexity Theory of Real Functions |
Ker-I Ko |
G Malajovich |
Journal of Symbolic Logic |
1992-12-01 |
