| Wittgenstein: A Life. Young Ludwig 1889-1921 |
Brian McGuinness |
José Ferrater Mora |
The Journal of Symbolic Logic |
1991 |
| Chance and structure. An essay on the logical foundations of probability |
John M. Vickers |
Mohamed A. Amer |
The Journal of Symbolic Logic |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1991 |
| Complexity Theory and Interaction |
Uwe Schoning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Topology via logic |
Steven Vickers |
P. T. Johnstone |
The Journal of Symbolic Logic |
1991 |
| Topology via logic |
Steven Vickers |
P. T. Johnstone |
The Journal of Symbolic Logic |
1991 |
| Toposes, triples and theories |
Michael Barr and Charles Wells |
Andrew Pitts |
The Journal of Symbolic Logic |
1991 |
| H. J. Keisler, Model Theory |
C. C. Chang |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
The Journal of Symbolic Logic |
1991 |
| Logical Studies in Early Analytic Philosophy |
Nino B. Cocchiarella |
Harold Levin |
The Journal of Symbolic Logic |
1991 |
| Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol |
Walter P. van Stigt |
Peter Eggenberger |
The Journal of Symbolic Logic |
1991 |
| Logics for artificial intelligence |
Raymond Turner |
Francis Jeffry Pelletier |
The Journal of Symbolic Logic |
1991 |
| Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21 |
J. Steprāns |
Judith Roitman |
The Journal of Symbolic Logic |
1991 |
| The logic of sequences. A generalization of Principia mathematica. Harvard dissertations in philosophy |
W. V. Quine |
Juliet Floyd |
The Journal of Symbolic Logic |
1991 |
| Teoriya algorifmov. Matematicheskaya logika i osnovaniya matematiki. “Nauka,” Moscow |
A. A. Markov and N. M. Nagornyi |
R. Downey |
The Journal of Symbolic Logic |
1991 |
| Collected Works of Kurt Godel 1938-1974 |
Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort |
Georg Kreisel |
The Journal of Symbolic Logic |
1991 |
| A Natural History of Negation |
Laurence R. Horn |
Jon Barwise |
The Journal of Symbolic Logic |
1991 |
| Proofs and types |
Jean-Yves Girard, Paul Taylor, and Yves LaFont |
W. A. Howard |
The Journal of Symbolic Logic |
1991 |
| Complexity theory and interaction |
Uwe Schöning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
| Building models by games |
Wilfrid Hodges |
Rami Grossberg |
The Journal of Symbolic Logic |
1991 |
| Intensional Mathematics |
Stewart Shapiro |
Craig A. Smoryński |
The Journal of Symbolic Logic |
1991 |
| Roads to Commensurability |
David Pearce |
Lawrence Sklar |
The Journal of Symbolic Logic |
1991 |
| Proof theory |
W P Deroever Jr |
Dag Prawitz |
The Journal of Symbolic Logic |
1991 |
| Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich |
Uwe Schöning |
Dirk Siefkes |
The Journal of Symbolic Logic |
1991 |
| Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21 |
J. Steprāns |
Alan D. Taylor |
The Journal of Symbolic Logic |
1991 |
| Towards a Structure Theory for Ideals on $P_\kappa\lambda$ ; William S. Zwicker, A Beginning for Structural Properties of Ideals on $P_\kappa\lambda$ |
Donna M. Carr, Donald H. Pelletier, J. Steprans, S. Watson |
Alan D. Taylor |
The Journal of Symbolic Logic |
1991 |
| Descriptive set theory and the structure of sets of uniqueness |
Alexander S. Kechris and Alain Louveau |
Miklos Ajtai |
The Journal of Symbolic Logic |
1991 |
| The theory of algorithms. English translation by M. Greendlinger of Teoriya algorifmov |
A. A. Markov and N. M. Nagorny |
Andre Scedrov |
The Journal of Symbolic Logic |
1991 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Hector-Neri Castañeda |
The Journal of Symbolic Logic |
1991 |
| PX. A computational logic |
Susumu Hayashi and Hiroshi Nakano |
Robert Harper |
The Journal of Symbolic Logic |
1991 |
| First historical introduction. A preliminary history of paraconsistent and dialethic approaches |
G. Priest and R. Routley |
F. G. Asenjo |
The Journal of Symbolic Logic |
1991 |
| A Natural History of Negation |
Laurence R. Horn |
Jon Barwise |
The Journal of Symbolic Logic |
1991 |
| The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux |
Richard L. Epstein |
Graeme Forbes |
The Journal of Symbolic Logic |
1991 |
| Informal Logic: A Handbook for Critical Argumentation |
Douglas N Walton |
Roy Martinez |
Teaching Philosophy |
1990-12-01 |
| Toposes and local set theories. An introduction |
J L Bell |
Colin McLarty |
Notre Dame Journal of Formal Logic |
1990-12-01 |
| Problems in Argument Analysis and Evaluation |
Trudy Govier |
Derek Allen |
Informal Logic |
1990-12-01 |
| Parmenides: Being, Bounds, and Logic |
Scott Austin |
Edward Hussey |
The Philosophical Review |
1990-10-01 |
| Particles to Paradoxes: The Limits of Quantum Logic |
Pater Gibbins |
R I G Hughes |
The Philosophical Review |
1990-10-01 |
| Structuralism and the Logic of Dissent |
Eve Tavor Bannet |
Herman Rapaport |
Philosophy and Literature |
1990-10-01 |
| Computability and Logic |
G S Boolos |
A P Hazen |
Australasian Journal of Philosophy |
1990-09-01 |
| Galvin's 'Racing Pawns' Game and a Well-Ordering of Trees |
S B Grantham |
Jean A Larson |
The Journal of Symbolic Logic |
1990-09-01 |
| Kurt Gödel: Collected Works, V2 |
Solomon Feferman |
G Kreisel |
Notre Dame Journal of Formal Logic |
1990-09-01 |
| Implementing Mathematics with the Nuprl Proof Development System |
R L Constable |
Michael J Beeson |
The Journal of Symbolic Logic |
1990-09-01 |
| Cartesian Logic: An Essay on Descartes's Conception of Inference |
Stephen Gaukroger |
Richard A. Watson |
The Review of Metaphysics |
1990-09-00 |
| The Cambridge Translations of Medieval Philosophical Texts. Vol. I: Logic and the Philosophy of Language |
Alexander Broadie |
A. Broadie |
Philosophical Books |
1990-07-01 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
Martin Davis |
Notre Dame Journal of Formal Logic |
1990-06-01 |
| A Course in Constructive Algebra |
Ray Mines |
Philip Scowcroft |
The Journal of Symbolic Logic |
1990-06-01 |
| A Border Dispute: The Place of Logic in Psychology |
John MacNamara |
David P. O'Brien |
Philosophy of Science |
1990-06-01 |
| The Logic of Epistemology and the Epistemology of Logic |
Jaakko Hintikka and Merrill Hintikka |
Stephen Cade Hetherington |
Canadian Philosophical Reviews |
1990-04-01 |
