| 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 |
| 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 |
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 |
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 |
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 |
| Other Selves |
Michael Pakaluk |
Carol Caraway |
Teaching Philosophy |
1992-12-01 |
| The Philosophy of Leibniz |
Benson Mates |
Jeffrey Tlumak |
Leibniz Society Review |
1992-12-01 |
| Questions of Form |
Joëlle Proust |
Michael Friedman |
Noûs |
1992-12-01 |
| Natural Signs |
Laird Addis |
Reinhardt Grossmann |
Noûs |
1992-12-01 |
| The Philosophy of John Scottus Eriugena |
Dermot Moran |
Michael W Strasser |
Noûs |
1992-12-01 |
| The Non-Reality of Free Will |
Richard Double |
John Martin Fischer |
Philosophy and Phenomenological Research |
1992-12-01 |
| Aristotelian Logic |
William T Parry |
George Englebretsen |
Informal Logic |
1992-12-01 |
| Bergson and Modern Thought |
Andrew Papanicolaou |
L E Goodman |
Process Studies |
1992-12-01 |
| Classification Theory and the Number of Non-Isomorphic Models |
S Shelah |
Steven Buechler |
Notre Dame Journal of Formal Logic |
1992-12-01 |
| Language and Truth |
Garth L Hallett |
Kenton Machina |
Noûs |
1992-12-01 |
