| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
Journal of Symbolic Logic |
1991 |
| Model theory |
C. C. Chang and H. J. Keisler |
Michael Makkai |
Journal of Symbolic Logic |
1991 |
| The Busy Beaver Game and the Meaning of Life |
Allen H. Brady |
Arnold Oberschelp |
Journal of Symbolic Logic |
1991 |
| Computability in analysis and physics |
Marian B. Pour-El and J. Ian Richards |
Oliver Aberth |
Journal of Symbolic Logic |
1991 |
| Alan Turing and the Turing machine |
Andrew Hodges |
John N. Crossley |
Journal of Symbolic Logic |
1991 |
| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
Journal of Symbolic Logic |
1991 |
| Philosophical Introduction to Set Theory |
Stephen Pollard |
Penelope Maddy |
Journal of Symbolic Logic |
1991 |
| Wittgenstein: A Life. Young Ludwig 1889-1921 |
Brian McGuinness |
Jose Ferrater Mora |
Journal of Symbolic Logic |
1991 |
| Mathematical intuition. Phenomenology and mathematical knowledge |
Richard L. Tieszen |
Guillermo E. Rosado Haddock |
Journal of Symbolic Logic |
1991 |
| An introduction to the theory of computation |
Eitan Gurari |
William I. Gasarch |
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 |
Journal of Symbolic Logic |
1991 |
| Computing with logic. Logic programming with Prolog |
David Maier and David S. Warren |
J. C. Shepherdson |
Journal of Symbolic Logic |
1991 |
| The Busy Beaver Game and the Meaning of Life |
Allen H. Brady |
Arnold Oberschelp |
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 |
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 |
Journal of Symbolic Logic |
1991 |
| Languages of possibility. An essay in philosophical logic |
Graeme Forbes |
I. L. Humberstone |
Journal of Symbolic Logic |
1991 |
| Varieties of constructive mathematics |
Douglas Bridges and Fred Richman |
D. van Dalen |
Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
Journal of Symbolic Logic |
1991 |
| Wittgenstein: A Life. Young Ludwig 1889-1921 |
Brian McGuinness |
José Ferrater Mora |
Journal of Symbolic Logic |
1991 |
| Chance and structure. An essay on the logical foundations of probability |
John M. Vickers |
Mohamed A. Amer |
Journal of Symbolic Logic |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
Journal of Symbolic Logic |
1991 |
| Complexity Theory and Interaction |
Uwe Schoning |
Steven Lindell |
Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
Journal of Symbolic Logic |
1991 |
| Topology via logic |
Steven Vickers |
P. T. Johnstone |
Journal of Symbolic Logic |
1991 |
| Topology via logic |
Steven Vickers |
P. T. Johnstone |
Journal of Symbolic Logic |
1991 |
| Toposes, triples and theories |
Michael Barr and Charles Wells |
Andrew Pitts |
Journal of Symbolic Logic |
1991 |
| H. J. Keisler, Model Theory |
C. C. Chang |
Michael Makkai |
Journal of Symbolic Logic |
1991 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
Journal of Symbolic Logic |
1991 |
| Logical Studies in Early Analytic Philosophy |
Nino B. Cocchiarella |
Harold Levin |
Journal of Symbolic Logic |
1991 |
| Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol |
Walter P. van Stigt |
Peter Eggenberger |
Journal of Symbolic Logic |
1991 |
| Logics for artificial intelligence |
Raymond Turner |
Francis Jeffry Pelletier |
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 |
Journal of Symbolic Logic |
1991 |
| The logic of sequences. A generalization of Principia mathematica. Harvard dissertations in philosophy |
W. V. Quine |
Juliet Floyd |
Journal of Symbolic Logic |
1991 |
| Teoriya algorifmov. Matematicheskaya logika i osnovaniya matematiki. “Nauka,” Moscow |
A. A. Markov and N. M. Nagornyi |
R. Downey |
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 |
Journal of Symbolic Logic |
1991 |
| A Natural History of Negation |
Laurence R. Horn |
Jon Barwise |
Journal of Symbolic Logic |
1991 |
| Proofs and types |
Jean-Yves Girard, Paul Taylor, and Yves LaFont |
W. A. Howard |
Journal of Symbolic Logic |
1991 |
| Complexity theory and interaction |
Uwe Schöning |
Steven Lindell |
Journal of Symbolic Logic |
1991 |
| Building models by games |
Wilfrid Hodges |
Rami Grossberg |
Journal of Symbolic Logic |
1991 |
| Intensional Mathematics |
Stewart Shapiro |
Craig A. Smoryński |
Journal of Symbolic Logic |
1991 |
| Roads to Commensurability |
David Pearce |
Lawrence Sklar |
Journal of Symbolic Logic |
1991 |
| Proof theory |
W P Deroever Jr |
Dag Prawitz |
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 |
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 |
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 |
Journal of Symbolic Logic |
1991 |
| Descriptive set theory and the structure of sets of uniqueness |
Alexander S. Kechris and Alain Louveau |
Miklos Ajtai |
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 |
Journal of Symbolic Logic |
1991 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Hector-Neri Castañeda |
Journal of Symbolic Logic |
1991 |
| PX. A computational logic |
Susumu Hayashi and Hiroshi Nakano |
Robert Harper |
Journal of Symbolic Logic |
1991 |
| First historical introduction. A preliminary history of paraconsistent and dialethic approaches |
G. Priest and R. Routley |
F. G. Asenjo |
Journal of Symbolic Logic |
1991 |
