| Languages of possibility. An essay in philosophical logic |
Graeme Forbes |
I. L. Humberstone |
1991 |
| Varieties of constructive mathematics |
Douglas Bridges and Fred Richman |
D. van Dalen |
1991 |
| Computerizing Mathematics: Logic and Computation |
Michael J. Beeson |
J. C. Shepherdson |
1991 |
| Wittgenstein: a life. Young Ludwig 1889–1921 |
Brian McGuinness |
José Ferrater Mora |
1991 |
| Chance and structure. An essay on the logical foundations of probability |
John M. Vickers |
Mohamed A. Amer |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
1991 |
| Complexity Theory and Interaction |
Uwe Schoning |
Steven Lindell |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
1991 |
| Topology via Logic |
Steven Vickers |
P. T. Johnstone |
1991 |
| Topology via logic |
Steven Vickers |
P. T. Johnstone |
1991 |
| Toposes, triples and theories |
Michael Barr and Charles Wells |
Andrew Pitts |
1991 |
| H. J. Keisler, Model Theory |
C. C. Chang |
Michael Makkai |
1991 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
1991 |
| Logical Studies in Early Analytic Philosophy |
Nino B. Cocchiarella |
Harold Levin |
1991 |
| Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol |
Walter P. van Stigt |
Peter Eggenberger |
1991 |
| Logics for artificial intelligence |
Raymond Turner |
Francis Jeffry Pelletier |
1991 |
| Murray G. Bell. Spaces of ideals of partial functions. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987 |
J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401 |
Judith Roitman |
1991 |
| The logic of sequences. A generalization of Principia mathematica. Harvard dissertations in philosophy |
W. V. Quine |
Juliet Floyd |
1991 |
| Teoriya algorifmov. Matematicheskaya logika i osnovaniya matematiki. “Nauka,” Moscow |
A. A. Markov and N. M. Nagornyi |
R. Downey |
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 |
1991 |
| A Natural History of Negation |
Laurence R. Horn |
Jon Barwise |
1991 |
| Proofs and types |
Jean-Yves Girard, Paul Taylor, and Yves LaFont |
W. A. Howard |
1991 |
| Complexity theory and interaction |
Uwe Schöning |
Steven Lindell |
1991 |
| Building models by games |
Wilfrid Hodges |
Rami Grossberg |
1991 |
| Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics |
Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113 |
Craig A. Smoryński |
1991 |
| Roads to commensurability |
David Pearce |
Lawrence Sklar |
1991 |
| Proof theory |
W P Deroever Jr |
Peter Lauer |
1991 |
| Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich |
Uwe Schöning |
Dirk Siefkes |
1991 |
| Donna M. Carr and Donald H. Pelletier. Towards a structure theory for ideals on Pkλ. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21, 1987 |
J. Steprāns and S. Watson, Lecture notes in mathematics, vol. 1401 |
Alan D. Taylor |
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 |
1991 |
| Descriptive set theory and the structure of sets of uniqueness |
Alexander S. Kechris and Alain Louveau |
Miklos Ajtai |
1991 |
| The theory of algorithms. English translation by M. Greendlinger of Teoriya algorifmov |
A. A. Markov and N. M. Nagorny |
Andre Scedrov |
1991 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Hector-Neri Castañeda |
1991 |
| PX. A computational logic |
Susumu Hayashi and Hiroshi Nakano |
Robert Harper |
1991 |
| First historical introduction. A preliminary history of paraconsistent and dialethic approaches |
G. Priest and R. Routley |
F. G. Asenjo |
1991 |
| A natural history of negation |
Laurence R. Horn |
Jon Barwise |
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 |
1991 |
| Galvin's 'Racing Pawns' Game and a Well-Ordering of Trees |
S B Grantham |
Jean A Larson |
1990-09-01 |
| Implementing Mathematics with the Nuprl Proof Development System |
R L Constable |
Michael J Beeson |
1990-09-01 |
| A Course in Constructive Algebra |
Ray Mines |
Philip Scowcroft |
1990-06-01 |
| Collected Works, V1: Publications 1929-1936 |
Kurt Gödel |
Martin Davis |
1990-03-01 |
| Classical recursion theory. The theory of functions and sets of natural numbers |
Piergiorgio Odifreddi |
Peter G. Hinman |
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 |
1990 |
| A computational logic |
Robert S Boyer |
Dale Miller |
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 |
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 |
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 |
1990 |
| Wilfried Sieg. Reductions of theories for analysis. Foundations of logic and linguistics, Problems and their solutions |
Georg Dorn and P. Weingartner |
Peter Clote |
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 |
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 |
1990 |
