| Essentials of Symbolic Logic |
Rachel Simpson |
Peter Mott |
Philosophical Books |
1990-01-01 |
| The Fabric of Character |
Nancy Sherman |
N. J. H. Dent |
Philosophical Books |
1990-01-01 |
| Reflexive Paradoxes |
T S Champlin |
Clive Borst |
Philosophical Books |
1990-01-01 |
| The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise |
Mary Tiles |
M. D. Potter |
Philosophical Books |
1990-01-01 |
| The Reality of Time. SUNY Series in Philosophy Errol E. Harris Robert Neville |
Errol E. Harris |
Philip T. Grier |
Journal of Speculative Philosophy |
1990-01-00 |
| The Consolations of Philosophy: Hobbes' Secret, Spinoza's Way Henry M. Rosenthal Abigail L. Rosenthal |
Henry M. Rosenthal |
Emily Groscholz |
Journal of Speculative Philosophy |
1990-01-00 |
| Peirce's Approach to the Self, A Semiotic Perspective on Human Subjectivity |
Vincent M. Colapietro |
Peter Ochs |
Journal of Speculative Philosophy |
1990-01-00 |
| New Essays in Metaphysics |
Robert C. Neville |
Vincent Colapietro |
Journal of Speculative Philosophy |
1990-01-00 |
| Paradoxes |
J C Beall |
Alex Steinberg |
Philosophy |
1990-01-00 |
| Ferdinand Gonseth, in INTERVALLES no 27 |
|
Joel Jakubec |
Dialectica |
1990-01-00 |
| Aventures mathématiques |
Miguel Guzman |
P. E. Pilet |
Dialectica |
1990-01-00 |
| Classical recursion theory. The theory of functions and sets of natural numbers |
Piergiorgio Odifreddi |
Peter G. Hinman |
Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Eine Eigenschaft der Realisierungen des Aussagenkalküls (1932c). A reprint of 4189. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
| A computational logic |
Robert S Boyer |
Dale Miller |
Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Review of Hahn's Reelle Funktionen. by Kurt Gödel |
Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
| Rick L. Smith. The consistency strengths of some finite forms of the Higman and Kruskal theorems. Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 |
Wilfried Sieg |
Journal of Symbolic Logic |
1990 |
| C. Smoryński. Nonstandard models and related developments. Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 |
C. Dimitracopoulos |
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 |
Journal of Symbolic Logic |
1990 |
| L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson. Introduction. Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington, M. D. Morley, A. Ščedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 |
H. B. Enderton |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
| An introduction to independence for analysts |
H G Dales |
Thomas Jech |
Journal of Symbolic Logic |
1990 |
| Toposes and local set theories. An introduction |
J. L. Bell |
G. C. Wraith |
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, 1985 |
J T Baldwin |
John B. Goode |
Journal of Symbolic Logic |
1990 |
| Stabilité en théorie des modèles. French original of the preceding |
Daniel Lascar |
Philip Scowcroft |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
| Algebraic theory of processes |
Matthew Hennessy |
Carl A. Gunter |
Journal of Symbolic Logic |
1990 |
| Charles Steinhorn. Borel structures for first-order and extended logics. Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 |
David Marker |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
| Particles and paradoxes. The limits of quantum logic |
Peter Gibbins |
Maria Luisa Dalla Chiara |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
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 |
Journal of Symbolic Logic |
1990 |
| Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 |
Wilfried Sieg |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
| Theory of logical calculi. Basis theory of consequence operations |
Ryszard Wojicki |
Stephen L. Bloom |
Journal of Symbolic Logic |
1990 |
| Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics |
Sergio Albeverio |
D. N. Hoover |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
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 |
Journal of Symbolic Logic |
1990 |
| Recursively enumerable sets and degrees. A study of computable functions and computably generated sets |
Robert I. Soare |
Rodney Downey |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
| C. Anthony Anderson. General intensional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 165 |
Charles Parsons |
Journal of Symbolic Logic |
1990 |
| Introduction to medieval logic |
Alexander Broadie |
Norman Kretzmann |
Journal of Symbolic Logic |
1990 |
| J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics |
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117 |
J. V. Tucker |
Journal of Symbolic Logic |
1990 |
| Turing's world |
Jon Barwise and John Etchemendy |
George Boolos |
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 |
Journal of Symbolic Logic |
1990 |
| Warren Goldfarb. Poincaré against the logicists. History and philosophy of modern mathematics |
William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11 |
Michael Hallett |
Journal of Symbolic Logic |
1990 |
| Wittgenstein, Frege and the Vienna circle |
Gordon Baker |
Peter Hylton |
Journal of Symbolic Logic |
1990 |
| Temporal logics and their applications |
Antony Galton |
Luis Fariñas del Cerro |
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. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
Journal of Symbolic Logic |
1990 |
