| An introduction to default logic |
Philippe Besnard |
V. Wiktor Marek |
The Journal of Symbolic Logic |
1998 |
| An Introduction to Logic, second edition Morris R. Cohen Moris R. Cohen Ernest Nagel John Corcoran |
Morris R. Cohen |
James Gasser |
Dialectica |
1996-01-00 |
| 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 |
| Thinking things through. An introduction to philosophical issues and achievements |
Clark Glymour |
Susan Russinoff |
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 |
| An Introduction To Logic |
Morris R Cohen |
Randall R Dipert |
Transactions of the Charles S. Peirce Society |
1994-09-01 |
| Critical Thinking: An Introduction to the Basic Skills |
William Hughes |
Hans V Hansen |
Informal Logic |
1994-03-01 |
| Philosophical Logic: An Introduction |
Sybil Wolfram |
Fernando Migura |
Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia |
1993-11-01 |
| Logical Forms. An Introduction to Philosophical Logic |
Mark Sainsbury |
PAUL F. Snowdon |
Philosophical Books |
1993-07-01 |
| Logical Forms. An Introduction to Philosophical Logic |
Mark Sainsbury |
T. S. Champlin |
Mind |
1993-01-01 |
| An Introduction to Logic (Response to Blum) |
Wayne A Davis |
Wayne A Davis |
Philosophia |
1993-01-01 |
| Proof theory. An introduction |
Wolfram Pohlers |
Andrea Cantini |
The Journal of Symbolic Logic |
1993 |
| An introduction |
Sybil Wolfram Philosophical logic |
Henle Lauer |
The Journal of Symbolic Logic |
1992 |
| Programming in Martin-Löf's type theory. An introduction |
Bengt Nordström, Kent Petersson, and Jan M. Smith |
John C. Mitchell |
The Journal of Symbolic Logic |
1992 |
| An introduction to the theory of computation |
Eitan Gurari |
William I. Gasarch |
The Journal of Symbolic Logic |
1991 |
| Toposes and local set theories. An introduction |
J L Bell |
Colin McLarty |
Notre Dame Journal of Formal Logic |
1990-12-01 |
| An introduction to default logic |
Philippe Besnard |
Paul Gochet |
Revue internationale de philosophie |
1990-01-01 |
| An Introduction to the Philosophy of Induction and Probability |
L Jonathan Cohen |
Howard H Harriot |
History and Philosophy of Logic |
1990-01-01 |
| An introduction to independence for analysts |
H G Dales |
Thomas Jech |
The Journal of Symbolic Logic |
1990 |
| Toposes and local set theories. An introduction |
J. L. Bell |
G. C. Wraith |
The Journal of Symbolic Logic |
1990 |
| Philosophical Logic: An Introduction |
Sybil Wolfram |
Raymond D Bradley |
Canadian Philosophical Reviews |
1989-11-01 |
| Philosophical Logic: An Introduction |
Sybil Wolfram |
Raymond D. Bradley |
Philosophy in Review |
1989-01-01 |
| The Languages of Logic: An Introduction |
Samuel Guttenplan |
Gary Bedell |
Teaching Philosophy |
1988-09-01 |
| An Introduction to Logic |
Wayne A David |
Alex Blum |
Philosophia |
1988-07-01 |
| The Languages of Logic: An Introduction |
Samuel Guttenplan |
W Kistner |
South African Journal of Philosophy |
1988-02-01 |
| Abstract objects. An introduction to axiomatic metaphysics |
Edward N. Zalta |
Michael Byrd |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Abstract objects. An introduction to axiomatic metaphysics |
Edward N. Zalta |
Michael Byrd |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| The Languages of Logic: An Introduction |
Samuel Guttenplan |
Peter Mott |
The Philosophical Quarterly |
1987-10-01 |
| Computabitity. An introduction to recursive function theory |
Nigel Cutland |
H. B. Enderton |
The Journal of Symbolic Logic |
1987 |
| An introduction to unification-based approaches to grammar |
Stuart M. Shieber |
James W. Garson |
The Journal of Symbolic Logic |
1987 |
| Set Theory: An Introduction |
R L Vaught |
S H Levy |
History and Philosophy of Logic |
1986-01-01 |
| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
The Journal of Symbolic Logic |
1986 |
| Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol |
Edward N. Zalta |
Michael Byrd |
The Journal of Symbolic Logic |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
The Journal of Symbolic Logic |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
| An Introduction to Philosophical Logic |
A C Grayling |
S K Lehmann |
Teaching Philosophy |
1985-01-01 |
| Understanding Arguments: An Introduction to Informal Logic, 2nd ed |
Robert J Fogelin |
Chr Plantin |
Revue internationale de philosophie |
1985-01-01 |
| An Introduction to Philosophical Logic |
A. C. Grayling |
Susan Haack |
The Journal of Symbolic Logic |
1985 |
| John Buridan on self-reference. Chapter Eight of Buridan's Sophismata, with a translation, an introduction, and a philosophical commentary |
G. E. Hughes |
Ignacio Angelelli |
The Journal of Symbolic Logic |
1985 |
| Quine's new foundations (an introduction) |
T. E. Forster |
Urs Oswald |
The Journal of Symbolic Logic |
1985 |
| An Introduction to Philosophical Logic |
A C Grayling |
Peter Hutcheson |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1984-11-01 |
| Modal Logic: An Introduction |
Brian F Chellas |
Jari Talja |
Canadian Philosophical Reviews |
1982-12-01 |
| Modal Logic: An Introduction |
Brian Chellas |
Steven J. Kuhn |
Dialogue |
1982-09-01 |
| The Logic of Scientific Inference: An Introduction |
Jennifer Trusted |
Jonathan E Adler |
The Philosophical Quarterly |
1982-07-01 |
| Modal Logic: An Introduction |
Brian F. Chellas |
Jari Talja |
Philosophy in Review |
1982-01-01 |
| Volume 2. Nonstandard analysis and philosophy. Edited and with an introduction by W. A. J. Luxemburg and S. Körner |
Selected papers of Abraham Robinson |
Martin Davis |
The Journal of Symbolic Logic |
1982 |
| Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason |
Formal Philosophy |
Jon Barwise |
The Journal of Symbolic Logic |
1982 |