| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
J. V. Tucker |
The Journal of Symbolic Logic |
1990 |
| Turing's world |
Jon Barwise and John Etchemendy |
George Boolos |
The Journal of Symbolic Logic |
1990 |
| Stability in model theory. English translation by J. E. Wallington of Stabilité en théorie des modèles |
Daniel Lascar |
Anand Pillay |
The Journal of Symbolic Logic |
1990 |
| History and philosophy of modern mathematics |
William Aspray |
Michael Hallett |
The Journal of Symbolic Logic |
1990 |
| Wittgenstein, Frege and the Vienna circle |
Gordon Baker |
Peter Hylton |
The Journal of Symbolic Logic |
1990 |
| Temporal logics and their applications |
Antony Galton |
Luis Fariñas del Cerro |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über Unabhängigkeitsbeweise im Aussagenkalküls (1933a). A reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Multiple Forcing |
T Jech |
Matthew Foreman |
The Journal of Symbolic Logic |
1989-09-01 |
| Lectures on Contemporary Syntactic Theories |
Peter Sells |
Edwin Battistella |
The Journal of Symbolic Logic |
1989-06-01 |
| Algorithmic Information Theory |
Gregory J Chaitin |
Peter Gacs |
The Journal of Symbolic Logic |
1989-06-01 |
| Modèles non Standard en Arithmétique et Théorie des Ensembles |
A J Wilkie |
Peter Clote |
The Journal of Symbolic Logic |
1989-03-01 |
| Non-well-founded sets. With a foreword by Jon Barwise |
Peter Aczel |
J. L. Bell |
The Journal of Symbolic Logic |
1989 |
| Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631 |
Elliott Mendelson |
John Corcoran |
The Journal of Symbolic Logic |
1989 |
| Albert E. Hurd and Peter A. Loeb |
|
D. N. Hoover |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Albert Visser |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
David Makinson |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Albert Visser |
The Journal of Symbolic Logic |
1989 |
| Beyond Analytic Philosophy: Doing Justice to What We Know |
Hao Wang |
Michael D. Resnik |
The Journal of Symbolic Logic |
1989 |
| Reflections on Kurt Gödel |
Hao Wang |
Harold T. Hodes |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
David Makinson |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Lenore D. Zuck |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Charles B. Cross |
The Journal of Symbolic Logic |
1989 |
| Proof theory and logical complexity |
Jean-Yves Girard |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1989 |
| Model theory and modules |
Mike Prest |
T. G. Kucera |
The Journal of Symbolic Logic |
1989 |
| The ethnomethodological foundations of mathematics. Studies in ethnomethodology |
Eric Livingston |
Thomas Tymoczko |
The Journal of Symbolic Logic |
1989 |
| Anti-Realism and Logic: Truth as Eternal |
Neil Tennant |
W. D. Hart |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Steven T. Kuhn |
The Journal of Symbolic Logic |
1989 |
| Anti-Realism and Logic: Truth as Eternal |
Neil Tennant |
W. D. Hart |
The Journal of Symbolic Logic |
1989 |
| An essay on mathematical instrumentalism |
Michael Detlefsen |
David D. Auerbach |
The Journal of Symbolic Logic |
1989 |
| A manual of intensional logic |
Johan van Benthem |
R. A. Bull |
The Journal of Symbolic Logic |
1989 |
| Commutator theory for congruence modular varieties |
Ralph Freese |
Matthew Valeriote |
The Journal of Symbolic Logic |
1989 |
| Truthlikeness |
Ilkka Niiniluoto |
David Pearce |
The Journal of Symbolic Logic |
1989 |
| K. Wagner and G. Wechsung, Computational complexity, Mathematics and its applications |
K Wagner |
Peter Van Emde Boas |
The Journal of Symbolic Logic |
1989 |
| Foundations of Illocutionary Logic |
John R Searle |
Jerrold M. Sadock |
The Journal of Symbolic Logic |
1989 |
| Logic for computer science. Foundations of automatic theorem proving |
Jean H. Gallier |
Frank Pfenning |
The Journal of Symbolic Logic |
1989 |
| Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol |
Wolfgang Schüler |
Peter Schroeder-Heister |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay |
H. B. Enderton |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay |
John N. Crossley |
The Journal of Symbolic Logic |
1989 |
| Complexity and structure |
Uwe Schöning |
Stephen R. Mahaney |
The Journal of Symbolic Logic |
1989 |
| George Boole. His life and work |
Desmond MacHale |
Vickie Putnam |
The Journal of Symbolic Logic |
1989 |
| Likeness to truth |
Graham Oddie |
Ilkka Niiniluoto |
The Journal of Symbolic Logic |
1989 |
| Relevant logics and their rivals. Part I. The basic philosophical and semantical theory |
Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady |
Daniel H. Cohen |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay |
G. Kreisel |
The Journal of Symbolic Logic |
1989 |
| A manual of intensional logic |
Johan Van Benthem |
R. A. Bull |
The Journal of Symbolic Logic |
1989 |
| Beyond Analytic Philosophy: Doing Justice to What We Know |
Hao Wang |
Michael D. Resnik |
The Journal of Symbolic Logic |
1989 |
| A Theory of Counterfactuals |
Igal Kvart |
Frank Jackson |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay |
Martin Davies |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay |
Martin Davies |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay |
Kim Bruce |
The Journal of Symbolic Logic |
1989 |
| Wittgenstein and the Turning-Point in the Philosophy of Mathematics |
S. G. Shanker |
Mark Steiner |
The Journal of Symbolic Logic |
1989 |
