| 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 |
| 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 |
| Implementing Mathematics with the Nuprl Proof Development System |
R L Constable |
Michael J Beeson |
The Journal of Symbolic Logic |
1990-09-01 |
| A Course in Constructive Algebra |
Ray Mines |
Philip Scowcroft |
The Journal of Symbolic Logic |
1990-06-01 |
| Collected Works, V1: Publications 1929-1936 |
Kurt Gödel |
Martin Davis |
The Journal of Symbolic Logic |
1990-03-01 |
| Essentials of Symbolic Logic |
Rachel Simpson |
Peter Mott |
Philosophical Books |
1990-01-01 |
| Classical recursion theory. The theory of functions and sets of natural numbers |
Piergiorgio Odifreddi |
Peter G. Hinman |
The 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. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| A computational logic |
Robert S Boyer |
Dale Miller |
The Journal of Symbolic Logic |
1990 |
| 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 |
