| Aristotle's Modal Logic: Essence and Entailment in the Organon |
Richard Patterson |
Allan Bäck |
Philosophy in Review |
1996-01-01 |
| Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing |
Martin D Davis |
H. B. Enderton |
The Journal of Symbolic Logic |
1996 |
| Berechnungstheorie für Informatiker. With assistance from Ronald Peikert |
Erwin Engeler and Peter Läuchli |
Petr Hájek |
The Journal of Symbolic Logic |
1996 |
| The language of machines. An introduction to computability and formal languages |
Robert W. Floyd and Richard Beigel |
Raymond D. Gumb |
The Journal of Symbolic Logic |
1996 |
| Smullyan Raymond M. Diagonalization and self-reference |
|
Lev Beklemishev |
The Journal of Symbolic Logic |
1996 |
| The combinatory programme. In collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel |
Erwin Engeler |
James Davenport |
The Journal of Symbolic Logic |
1996 |
| Truth or consequences, Essays in honor of Nuel Belnap |
J. Michael Dunn and Anil Gupta |
Gerhard Schurz |
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 |
| 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 |
| 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 |
| Logic, Language, and the Structure of Scientific Theories |
W. Salmon |
Alan Richardson |
The British Journal for the Philosophy of Science |
1995-12-01 |
| Strategy: The Logic of War and Peace |
Edward N. Luttwak |
Gregory R. Johnson |
Reason Papers |
1995-10-01 |
| 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 |
| 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 |
| Almost free modules. Set-theoretic methods |
Paul C. Eklof and Alan H. Mekler |
Alan Dow |
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 |
| 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 |
| 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 logical basis for computer programming. Volume I. Deductive reasoning |
Zohar Manna and Richard Waldinger |
Hans Kleine Büning |
The Journal of Symbolic Logic |
1995 |
| Structures for semantics. Studies in linguistics and philosophy, vol |
Fred Landman |
Alice ter Meulen |
The Journal of Symbolic Logic |
1995 |
| An introduction to Kolmogorov complexity and its applications |
Ming Li and Paul Vitányi |
V. A. Uspensky |
The Journal of Symbolic Logic |
1995 |
| Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 |
Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas |
Steffen Lempp |
The Journal of Symbolic Logic |
1995 |
| Reasoning and the Logic of Things |
Kenneth Laine Ketner |
Stephen H Levy |
Transactions of the Charles S. Peirce Society |
1994-12-01 |
| Hegel on Logic and Religion: The Reasonableness of Christianity |
John W. Burbidge |
Daniel O. Dahlstrom |
The Review of Metaphysics |
1994-12-00 |
| Theoretical Philosophy, 1755-1770, and: Lectures on Logic, and: Opus Postumum |
Immanuel Kant |
Manfred Kuehn |
Journal of the History of Philosophy |
1994-10-01 |
| The Revision Theory of Truth |
Anil Gupta and Nuel Belnap |
Robert C Koons |
Notre Dame Journal of Formal Logic |
1994-09-01 |
| Philosophy and Logic in Central Europe from Bolzano to Tarski |
Peter Simons |
Gabriel Falkenberg |
Erkenntnis |
1994-09-01 |
| Argumentation Theory and the Rhetoric of Assent |
David Cratis Williams |
Lenore Langsdorf |
Informal Logic |
1994-09-01 |
| Logic and Sin in the Writings of Ludwig Wittgenstein |
Philip Shields |
Cyril Barrett |
Religious Studies |
1994-09-01 |
| Galileo's Logic of Discovery and Proof |
William A. Wallace |
Michael W. Tkacz |
The Review of Metaphysics |
1994-09-00 |
| Logic, God, and Metaphysics |
James Franklin Harris |
Donald Wayne Viney |
International Journal for Philosophy of Religion |
1994-08-00 |
| Logic and Sin in the Writings of Ludwig Wittgenstein |
Philip R Shields |
Fergus Kerr |
Modern Theology |
1994-07-01 |
| Scientific Discovery: Logic and Tinkering |
Aharon Kantorovich |
Joseph Agassi |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1994-07-00 |
| The Language of First-Order Logic (Third Edition) |
Jon Barwise and John Etchemendy |
Louis Marinoff |
Canadian Philosophical Reviews |
1994-06-01 |
| Logic and Other Nonsense: The Case of Anselm and His God |
Ermanno Bencivenga |
Clement Dore |
Notre Dame Journal of Formal Logic |
1994-06-01 |
