| 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 |
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 |
Peter Unger |
Robert C. Coburn |
Philosophical Review |
1993-01-00 |
| Determinism, Blameworthiness, and Deprivation |
Martha Klein |
Sarah Buss |
Philosophical Review |
1993-01-00 |
| Freedom and History and Other Essays: An Introduction to the Thought of Richard McKeon Richard McKeon Zahava K. McKeon |
Zahava K McKeon |
Richard Buchanan |
Journal of Speculative Philosophy |
1993-01-00 |
| Foundations without Foundationalism |
Stewart Shapiro |
John Burgess |
Journal of Symbolic Logic |
1993 |
| Models of Peano arithmetic |
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 |
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 |
Michael Dummett |
Sanford Shieh |
Journal of Symbolic Logic |
1993 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
Randall Holmes |
Journal of Symbolic Logic |
1993 |
| Categories, allegories |
Peter J Freyd |
Unknown |
Journal of Symbolic Logic |
1993 |
| Deducibility and decidability |
R. R. Rockingham Gill |
Albert Visser |
Journal of Symbolic Logic |
1993 |
| Proof, Logic and Formalization |
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 |
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 |
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 |
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 |
Martin Heidegger |
Martin Weatherston |
International Philosophical Quarterly |
1992-12-01 |
| The Metaphysics of Epistemology: Lectures by Wilfrid Sellars |
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 |
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 |
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 |
Kenneth Rankin |
Wendy Lee-Lampshire |
Canadian Philosophical Reviews |
1992-12-01 |
| Causation and Universals |
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 |
| Illustrations of Being: Drawing upon Heidegger and upon Metaphysics |
Graeme Nicholson |
Wilhelm S Wurzer |
Canadian Philosophical Reviews |
1992-12-01 |
| Numerically Exceptive Logic |
Wallace A Murphree |
George Englebretsen |
Canadian Philosophical Reviews |
1992-12-01 |
| On the Nature and the Existence of God |
Richard M Gale |
Gary R Mar |
International Philosophical Quarterly |
1992-12-01 |
| Agency and Alienation |
Jerome M Segal |
Kenneth Rankin |
Canadian Philosophical Reviews |
1992-12-01 |
| Plotin |
Georges Leroux |
Lloyd Gerson |
Phoenix: The Journal of the Classical Association of Canada |
1992-12-01 |
