| Proof theory. An introduction |
Wolfram Pohlers |
Andrea Cantini |
1993 |
| Classification theory and the number of non-isomorphic models |
S. Shelah |
Bradd Hart |
1993 |
| Mechanical intelligence, Collected works of A. M. Turing |
D. C. Ince |
Martin Davis |
1993 |
| Nonmonotonic reasoning: logical foundations of commonsense |
Gerhard Brewka |
Heinrich Herre |
1993 |
| Logique Moderne: Fascicle I (Second Edition) |
Jean-Blaise Grize |
James Gasser |
1992-12-01 |
| Complexity Theory of Real Functions |
Ker-I Ko |
G Malajovich |
1992-12-01 |
| Dirk van Dalen. Intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 166 |
Carl J. Posy |
1992 |
| The concept of logical consequence |
John Etchemendy |
Vann McGee |
1992 |
| Penelope Maddy, Realism in mathematics |
Penelope Maddy |
Bob Hale |
1992 |
| J. Michael Dunn. Relevance logic and entailment. Handbook of philosophical logic, Volume III, Alternatives to classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 166 |
Harry Deutsch |
1992 |
| Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle |
Jean-Blaise Grize |
James Gasser |
1992 |
| Model completions, ring representations and the topology of the Pierce sheaf |
Andrew B. Carson |
Marta Bunge |
1992 |
| Mathematical methods in linguistics. Studies in linguistics and philosophy, vol |
Barbara H. Partee, Alice ter Meulen, and Robert E. Wall |
Lawrence S. Moss |
1992 |
| The liar. An essay on truth and circularity |
Jon Barwise and John Etchemendy |
Donald A. Martin |
1992 |
| Non-standard logics for automated reasoning |
Larry Wos |
Natarajan Shankar |
1992 |
| Perspectives on the history of mathematical logic |
Thomas Drucker |
Stewart Shapiro |
1992 |
| Higher recursion theory |
Gerald E. Sacks |
Dag Normann |
1992 |
| Full abstraction and semantic equivalence |
Ketan Mulmuley |
P.-L. Curien |
1992 |
| W. Hugh Woodin. AD and the uniqueness of the supercompact measures on Pω1 (λ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81 |
A. S. Kechris, D. A. Martin, and Y. N. Moschavokis, Lecture notes in mathematics, vol. 1019 |
Andreas Blass |
1992 |
| Algebras, lattices, varieties |
Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor |
Joel Berman |
1992 |
| Canonical equational proofs. Progress in theoretical computer science |
Leo Bachmair |
John Pedersen |
1992 |
| Fundamentals of stability theory |
John T. Baldwin |
Anand Pillay |
1992 |
| Intensional logic and the metaphysics of intentionality |
Edward N. Zalta |
Christopher Menzel |
1992 |
| John R. Steel. Scales on sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81 |
A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019 |
Thomas Jech |
1992 |
| Maria Luisa Dalla Chiara. Quantum logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic |
Sybil Wolfram |
Henle Lauer |
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 |
1992 |
| An introduction |
Sybil Wolfram Philosophical logic |
Henle Lauer |
1992 |
| Programming in Martin-Löf's type theory. An introduction |
Bengt Nordström, Kent Petersson, and Jan M. Smith |
John C. Mitchell |
1992 |
| Donald A. Martin. The largest countable this, that, and the other. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81 |
A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019 |
Sy D. Friedman |
1992 |
| Frege in perspective |
Joan Weiner |
Michael Dummett |
1992 |
| The stable model semantics for logic programming |
Michael Gelfond and Vladimir Lifschitz |
Melvin Fitting |
1992 |
| Truth, deduction, and computation. Logic and semantics for computer science |
R. E. Davis |
Nicolas D. Goodman |
1992 |
| Graphs and order. The role of graphs in the theory of ordered sets and its applications |
Ivan Rival, NATO ASI series C, vol. 147 |
R. Downey |
1992 |
| Progress in theoretical computeer science |
Ker-I Ko. Complexity theory of real functions |
G. Malajovich |
1992 |
| The structure of the relational database model |
Jan Paredaens |
J. A. Makowsky |
1992 |
| Toward a Formal Science of Economics. The Axiomatic Method in Economics and Econometrics |
Bernt P. Stigum |
David Booth |
1991 |
| Model theory |
C. C. Chang and H. J. Keisler |
Michael Makkai |
1991 |
| The busy beaver game and the meaning of life |
Allen H. Brady |
Arnold Oberschelp |
1991 |
| Computability in analysis and physics |
Marian B. Pour-El and J. Ian Richards |
Oliver Aberth |
1991 |
| Alan Turing and the Turing machine |
Andrew Hodges |
John N. Crossley |
1991 |
| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
1991 |
| Philosophical introduction to set theory |
Stephen Pollard |
Penelope Maddy |
1991 |
| Wittgenstein: A Life. Young Ludwig 1889-1921 |
Brian McGuinness |
Jose Ferrater Mora |
1991 |
| Mathematical intuition. Phenomenology and mathematical knowledge |
Richard L. Tieszen |
Guillermo E. Rosado Haddock |
1991 |
| An introduction to the theory of computation |
Eitan Gurari |
William I. Gasarch |
1991 |
| Collected works, Volume II, Publications 1938–1974, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr |
|
Georg Kreisel |
1991 |
| Computing with logic. Logic programming with Prolog |
David Maier and David S. Warren |
J. C. Shepherdson |
1991 |
| The Busy Beaver Game and the Meaning of Life |
Allen H. Brady |
Arnold Oberschelp |
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 |
1991 |
| Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes |
J. Richard Büchi |
Stephen L. Bloom |
1991 |
