| The Logical Status of Diagrams |
Sun-Joo Shin |
Eric M. Hammer |
The Journal of Symbolic Logic |
1996 |
| Groups of finite Morley rank |
Alexandre Borovik and Ali Nesin |
Daniel Lascar |
The Journal of Symbolic Logic |
1996 |
| Finite model theory |
Ebbinghaus Heinz-Dieter and Jörg Flum |
G. L. McColm |
The Journal of Symbolic Logic |
1996 |
| Frege: Philosophy of Mathematics |
Michael Dummett |
Peter Simons |
The Journal of Symbolic Logic |
1996 |
| Logica, taal en betekenis. Volume I. Inleiding in de logica |
L. T. F. Gamut (pseudonym) |
Henry E. Kyburg |
The Journal of Symbolic Logic |
1996 |
| Logic, language, and meaning. Volume I. Introduction to logic. English translation of Logica, taal en betekenis, Volume I, Inleiding in de logica |
L. T. F. Gamut (pseudonym) |
Godehard Link |
The Journal of Symbolic Logic |
1996 |
| Entailment. The logic of relevance and necessity |
Alan Ross Anderson, Nuel D. Belnap Jr., and J. Michael Dunn |
Larisa Maksimova |
The Journal of Symbolic Logic |
1996 |
| First steps in modal logic |
Popkorn Sally (pseudonym) |
Rajeev Goré |
The Journal of Symbolic Logic |
1996 |
| Hammer Eric M. Logic and visual information |
|
Isabel Luengo |
The Journal of Symbolic Logic |
1996 |
| Automorphisms of first-order structures |
Richard Kaye and Dugald Macpherson |
Gregory Cherlin |
The Journal of Symbolic Logic |
1996 |
| Truth and modality for knowledge representation |
Raymond Turner |
Simone Martini |
The Journal of Symbolic Logic |
1996 |
| Frege's theory of sense and reference. Its origins and scope. Modern European philosophy |
Wolfgang Carl |
Gottfried Gabriel |
The Journal of Symbolic Logic |
1996 |
| Russell and analytic philosophy |
A. D. Irvine and G. A. Wedeking, Toronto studies in philosophy |
Alasdair Urquhart |
The Journal of Symbolic Logic |
1996 |
| First-order logic. Corrected republication of XL 237 |
Raymond M. Smullyan |
Jeremy Avigad |
The Journal of Symbolic Logic |
1996 |
| Logic, Language, and the Structure of Scientific Theories |
W. Salmon |
Alan Richardson |
The British Journal for the Philosophy of Science |
1995-12-01 |
| The Logic of Pragmatic Thinking: From Peirce to Habermas |
Edmund Arens |
Carleton B. Christensen |
The Review of Metaphysics |
1995-12-00 |
| Basic Questions of Philosophy. Selected "Problems" of "Logic" |
Martin Heidegger |
Miles Groth |
The Review of Metaphysics |
1995-12-00 |
| Strategy: The Logic of War and Peace |
Edward N. Luttwak |
Gregory R. Johnson |
Reason Papers |
1995-10-01 |
| The Logic of Provability |
George Boolos |
Philip Scowcroft |
The Philosophical Review |
1995-10-00 |
| Hell: The Logic of Damnation |
Jerry L. Walls |
Keith E. Yandell |
Religious Studies |
1995-06-00 |
| Heuretics: The Logic of Invention |
Gregory L. Ulmer |
Tom Conley |
Philosophy and Literature |
1995-04-01 |
| Language, Thought, and Logic |
John M. Ellis |
Gabrielle Poole |
Philosophy and Literature |
1995-04-01 |
| Epistemic Logic in the Later Middle Ages |
Ivan Boh |
Stephen Read |
Philosophical Books |
1995-04-01 |
| Discovering Formal Logic |
Kathleen Johnson Wu |
NORMAN M. Martin |
Philosophical Books |
1995-04-01 |
| Modern Logic. A Text in Elementary Symbolic Logic |
Graeme Forbes |
Michael Clark |
Philosophical Books |
1995-04-01 |
| Foundations without Foundationalism: A Case for Second-Order Logic |
Stewart Shapiro |
מרק שטיינר |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1995-04-00 |
| Philosophical Perspectives, 7, Language and Logic |
J. E. Tomberlin |
Maite Ezcurdia |
Crítica: Revista Hispanoamericana de Filosofía |
1995-04-00 |
| Logic and Other Nonsense: The Case of Anselm and His God |
Ermanno Bencivenga |
Joseph W. Koterski |
The Review of Metaphysics |
1995-03-00 |
| Logic, Language, and the Structure of Scientific Theories. Proceedings of the Carnap-Reichenbach Centennial, University of Konstanz, 21-24 May |
Wesley Salmon |
Alexander Rueger |
Philosophy in Review |
1995-01-01 |
| The Logic of Provability |
George Boolos |
Helen Billinge |
Philosophy in Review |
1995-01-01 |
| The Bounds of Logic: A Generalized Viewpoint |
Gila Sher |
David J. Stump |
Philosophy in Review |
1995-01-01 |
| One for All: The Logic of Group Conflict |
Russell Hardin |
Bart Schultz |
Philosophy in Review |
1995-01-01 |
| Introduction to Medieval Logic |
Alexander Broadie |
Peter King |
The Philosophical Review |
1995-01-00 |
| The Logic of Provability |
George Boolos |
Sergei N. Artemov |
The Journal of Symbolic Logic |
1995 |
| Almost free modules. Set-theoretic methods |
Paul C. Eklof and Alan H. Mekler |
Alan Dow |
The Journal of Symbolic Logic |
1995 |
| Logic from computer science, Proceedings of a workshop held November 13–17 |
Y. N. Moschovakis |
Helmut Schwichtenberg |
The Journal of Symbolic Logic |
1995 |
| Model theory |
Wilfrid Hodges |
Anand Pillay |
The Journal of Symbolic Logic |
1995 |
| Arithmetic, proof theory, and computational complexity |
Peter Clote and Krajíček Jan, Oxford logic guides, no. 23 |
Fernando Ferreira |
The Journal of Symbolic Logic |
1995 |
| A many-valued approach to deduction and reasoning for artificial intelligence |
Cary G. deBessonet |
Robert Stärk |
The Journal of Symbolic Logic |
1995 |
| Gödel's incompleteness theorems |
V A Uspensky |
George Boolos |
The Journal of Symbolic Logic |
1995 |
| Metaphysical Myths, Mathematical Practice: The Ontology and Epistemology of the Exact Sciences |
Jody Azzouni |
Mark Balaguer |
The Journal of Symbolic Logic |
1995 |
| Metamathematics of first-order arithmetic |
Petr Hájek and Pavel Pudlák |
Richard Kaye |
The Journal of Symbolic Logic |
1995 |
| Relative category theory and geometric morphisms. A logical approach |
Jonahan Chapman and Frederick Rowbottom |
I. Moerdijk |
The Journal of Symbolic Logic |
1995 |
| Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science |
Thomas Streicher |
Markus Marzetta |
The Journal of Symbolic Logic |
1995 |
| The Revision Theory of Truth |
Anil Gupta and Nuel Belnap |
Michael Sheard |
The Journal of Symbolic Logic |
1995 |
| Set theory of the continuum |
H. Judah |
James Cummings |
The Journal of Symbolic Logic |
1995 |
| Charles Sanders Peirce: A Life |
Joseph Brent |
Randall R. Dipert |
The Journal of Symbolic Logic |
1995 |
| Thinking things through. An introduction to philosophical issues and achievements |
Clark Glymour |
Susan Russinoff |
The Journal of Symbolic Logic |
1995 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
The Journal of Symbolic Logic |
1995 |
| The Banach–Tarski paradox |
Stan Wagon |
Matthew Foreman |
The Journal of Symbolic Logic |
1995 |
