| Maria Luisa Dalla Chiara. Quantum logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic |
Sybil Wolfram |
R. I. G. Hughes |
The Journal of Symbolic Logic |
1992 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874 |
Johan van Benthem |
Steven T. Kuhn |
The Journal of Symbolic Logic |
1992 |
| An introduction |
Sybil Wolfram Philosophical logic |
Henle Lauer |
The Journal of Symbolic Logic |
1992 |
| Programming in Martin-Löf's type theory. An introduction |
Bengt Nordström, Kent Petersson, and Jan M. Smith |
John C. Mitchell |
The Journal of Symbolic Logic |
1992 |
| Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81 |
A. S. Kechris |
Sy D. Friedman |
The Journal of Symbolic Logic |
1992 |
| Frege in Perspective |
Joan Weiner |
Michael Dummett |
The Journal of Symbolic Logic |
1992 |
| The stable model semantics for logic programming |
Michael Gelfond and Vladimir Lifschitz |
Melvin Fitting |
The Journal of Symbolic Logic |
1992 |
| Truth, deduction, and computation. Logic and semantics for computer science |
R. E. Davis |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1992 |
| Graphs and order. The role of graphs in the theory of ordered sets and its applications |
Ivan Rival |
R. Downey |
The Journal of Symbolic Logic |
1992 |
| Progress in theoretical computeer science |
Ker-I Ko. Complexity theory of real functions |
G. Malajovich |
The Journal of Symbolic Logic |
1992 |
| The structure of the relational database model |
Jan Paredaens |
J. A. Makowsky |
The Journal of Symbolic Logic |
1992 |
| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
The Journal of Symbolic Logic |
1991 |
| Model theory |
C. C. Chang and H. J. Keisler |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| The Busy Beaver Game and the Meaning of Life |
Allen H. Brady |
Arnold Oberschelp |
The Journal of Symbolic Logic |
1991 |
| Computability in analysis and physics |
Marian B. Pour-El and J. Ian Richards |
Oliver Aberth |
The Journal of Symbolic Logic |
1991 |
| Alan Turing and the Turing machine |
Andrew Hodges |
John N. Crossley |
The Journal of Symbolic Logic |
1991 |
| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
The Journal of Symbolic Logic |
1991 |
| Philosophical Introduction to Set Theory |
Stephen Pollard |
Penelope Maddy |
The Journal of Symbolic Logic |
1991 |
| Wittgenstein: A Life. Young Ludwig 1889-1921 |
Brian McGuinness |
Jose Ferrater Mora |
The Journal of Symbolic Logic |
1991 |
| Mathematical intuition. Phenomenology and mathematical knowledge |
Richard L. Tieszen |
Guillermo E. Rosado Haddock |
The Journal of Symbolic Logic |
1991 |
| An introduction to the theory of computation |
Eitan Gurari |
William I. Gasarch |
The Journal of Symbolic Logic |
1991 |
| Collected works, Volume II, Publications 1938–1974, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr |
|
Georg Kreisel |
The Journal of Symbolic Logic |
1991 |
| Computing with logic. Logic programming with Prolog |
David Maier and David S. Warren |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| The Busy Beaver Game and the Meaning of Life |
Allen H. Brady |
Arnold Oberschelp |
The Journal of Symbolic Logic |
1991 |
| Essays and Zero-Knowledge--A Survey |
Shafi Goldwasser, Silvio Micali, Charles Rackoff, The Knowledge Complexity of Interactive Proof Systems ; Oded Goldreich, Silvio Micali, Avi Wigderson, J. Gruska, B. Rovan, J. Wiedermann, Proofs that Release Minimum Knowledge ; Oded Goldreich, Rolf Herken, Randomness, Interactive Proofs |
Lance Fortnow |
The Journal of Symbolic Logic |
1991 |
| Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes |
J. Richard Büchi |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1991 |
| Languages of possibility. An essay in philosophical logic |
Graeme Forbes |
I. L. Humberstone |
The Journal of Symbolic Logic |
1991 |
| Varieties of constructive mathematics |
Douglas Bridges and Fred Richman |
D. van Dalen |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Wittgenstein: A Life. Young Ludwig 1889-1921 |
Brian McGuinness |
José Ferrater Mora |
The Journal of Symbolic Logic |
1991 |
| Chance and structure. An essay on the logical foundations of probability |
John M. Vickers |
Mohamed A. Amer |
The Journal of Symbolic Logic |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1991 |
| Complexity Theory and Interaction |
Uwe Schoning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Topology via logic |
Steven Vickers |
P. T. Johnstone |
The Journal of Symbolic Logic |
1991 |
| Topology via logic |
Steven Vickers |
P. T. Johnstone |
The Journal of Symbolic Logic |
1991 |
| Toposes, triples and theories |
Michael Barr and Charles Wells |
Andrew Pitts |
The Journal of Symbolic Logic |
1991 |
| H. J. Keisler, Model Theory |
C. C. Chang |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
The Journal of Symbolic Logic |
1991 |
| Logical Studies in Early Analytic Philosophy |
Nino B. Cocchiarella |
Harold Levin |
The Journal of Symbolic Logic |
1991 |
| Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol |
Walter P. van Stigt |
Peter Eggenberger |
The Journal of Symbolic Logic |
1991 |
| Logics for artificial intelligence |
Raymond Turner |
Francis Jeffry Pelletier |
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 |
Judith Roitman |
The Journal of Symbolic Logic |
1991 |
| The logic of sequences. A generalization of Principia mathematica. Harvard dissertations in philosophy |
W. V. Quine |
Juliet Floyd |
The Journal of Symbolic Logic |
1991 |
| Teoriya algorifmov. Matematicheskaya logika i osnovaniya matematiki. “Nauka,” Moscow |
A. A. Markov and N. M. Nagornyi |
R. Downey |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1991 |
| A Natural History of Negation |
Laurence R. Horn |
Jon Barwise |
The Journal of Symbolic Logic |
1991 |
| Proofs and types |
Jean-Yves Girard, Paul Taylor, and Yves LaFont |
W. A. Howard |
The Journal of Symbolic Logic |
1991 |
| Complexity theory and interaction |
Uwe Schöning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
| Building models by games |
Wilfrid Hodges |
Rami Grossberg |
The Journal of Symbolic Logic |
1991 |
