| Kurt Gödel. Review of Hahn's Reelle Funktionen. 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 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
Wilfried Sieg |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
C. Dimitracopoulos |
The Journal of Symbolic Logic |
1990 |
| Wilfried Sieg. Reductions of theories for analysis. Foundations of logic and linguistics, Problems and their solutions |
Georg Dorn and P. Weingartner |
Peter Clote |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
H. B. Enderton |
The Journal of Symbolic Logic |
1990 |
| John W. Dawson Jr. A Gödel chronology. 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 |
| 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 |
| Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19 |
J T Baldwin |
John B. Goode |
The Journal of Symbolic Logic |
1990 |
| Stabilité en théorie des modèles. French original of the preceding |
Daniel Lascar |
Philip Scowcroft |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über die Vollständigkeit des Logikkalküls (1929). 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 |
| Algebraic theory of processes |
Matthew Hennessy |
Carl A. Gunter |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
David Marker |
The Journal of Symbolic Logic |
1990 |
| Solomon Feferman. Gödel's life and work. 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 |
| Particles and paradoxes. The limits of quantum logic |
Peter Gibbins |
Maria Luisa Dalla Chiara |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Zum intuitionistische Aussagenkalkül (1932). A reprint of 4186. 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 |
| Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie (10818). 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 |
| Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. 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 |
| Téoréma Gëdélá o népolnoté. Russian original of the preceding. Populárnyé lékclii po matématiké, no. 57. “Nauka,” Moscow |
V. A. Uspénskij |
Donald Nute |
The Journal of Symbolic Logic |
1990 |
| Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington |
Wilfried Sieg |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Zur intuitionistischen Arithmetik und Zahlentheorie (1933e). A reprint of 41811. 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 |
| Theory of logical calculi. Basis theory of consequence operations |
Ryszard Wojicki |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1990 |
| Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics |
Sergio Albeverio |
D. N. Hoover |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit (1930b). A reprint of 4181. 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 |
| Robert K. Meyer. A farewell to entailment. Foundations of logic and linguistics, Problems and their solutions |
Georg Dorn and P. Weingartner |
Daniel H. Cohen |
The Journal of Symbolic Logic |
1990 |
| Recursively enumerable sets and degrees. A study of computable functions and computably generated sets |
Robert I. Soare |
Rodney Downey |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, 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 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Charles Parsons |
The Journal of Symbolic Logic |
1990 |
| Introduction to Medieval Logic |
Alexander Broadie |
Norman Kretzmann |
The Journal of Symbolic Logic |
1990 |
| 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 |
| Formal Logic: A Model of English |
Ronald Rubin |
John Nolt |
Teaching Philosophy |
1989-12-01 |
| Selected Issues in Logic and Communication |
Trudy Govier |
Dianne Romain |
Canadian Philosophical Reviews |
1989-12-01 |
| The Logic of Epistemology and the Epistemology of Logic |
Jaakko Hintikka and Merrill Hintikka |
R. L. Simpson |
The Review of Metaphysics |
1989-12-00 |
| The Critique of Thought: A Re-Examination of Hegel's Science of Logic |
Paul Owen Johnson |
John Burbidge |
Canadian Philosophical Reviews |
1989-11-01 |
| Philosophical Logic: An Introduction |
Sybil Wolfram |
Raymond D Bradley |
Canadian Philosophical Reviews |
1989-11-01 |
| Logic and Politics: Hegel's Philosophy of Right |
Peter J Steinberger |
Peter G Stillman |
Political Theory |
1989-11-01 |
| Language, Logic, and Experience: The Case for Anti-Realism |
Michael Luntley |
Evan Fales |
Canadian Philosophical Reviews |
1989-11-01 |
| Concept and Object: The Unity of the Proposition in Logic and Psychology |
Anthony Palmer |
Felicity A Watts |
Philosophical Books |
1989-10-01 |
| Selected Papers, V1: Logic and Knowledge, V2: Persons and Values |
J L Mackie |
M Espinoza |
Archives de Philosophie |
1989-10-01 |
| Anselm's Argument. The Logic of Divine Existence |
Robert Brecher |
Paul J. W Miller |
Journal of the History of Philosophy |
1989-10-01 |
| The Logic of God Incarnate |
Thomas V. Morris |
Charles D. Kay |
International Journal for Philosophy of Religion |
1989-10-00 |
| Marx's Grundrisse and Hegel's Logic |
Hiroshi Uchida |
Chris Arthur |
Radical Philosophy |
1989-09-01 |
| Multiple Forcing |
T Jech |
Matthew Foreman |
The Journal of Symbolic Logic |
1989-09-01 |
| Parmenides: Being, Bounds, and Logic |
Scott Austin |
James Wm Forrester |
Noûs |
1989-09-01 |
