| Anti-realism and logic. Truth as eternal |
Neil Tennant |
W. D. Hart |
1989 |
| An essay on mathematical instrumentalism |
Michael Detlefsen |
David D. Auerbach |
1989 |
| A manual of intensional logic |
Johan van Benthem |
R. A. Bull |
1989 |
| Commutator theory for congruence modular varieties |
Ralph Freese |
Matthew Valeriote |
1989 |
| Truthlikeness |
Ilkka Niiniluoto |
David Pearce |
1989 |
| K. Wagner and G. Wechsung, Computational complexity, Mathematics and its applications |
K Wagner |
Peter Van Emde Boas |
1989 |
| Foundations of illocutionary logic |
John R Searle |
Jerrold M. Sadock |
1989 |
| Logic for computer science. Foundations of automatic theorem proving |
Jean H. Gallier |
Frank Pfenning |
1989 |
| Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol |
Wolfgang Schüler |
Peter Schroeder-Heister |
1989 |
| Wilfrid Hodges. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 164 |
H. B. Enderton |
1989 |
| Dirk van Dalen. Algorithms and decision problems: a crash course in recursion theory. Handbook of philosophica logic, Volume I, Elements of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 164 |
John N. Crossley |
1989 |
| Complexity and structure |
Uwe Schöning |
Stephen R Mahoney |
1989 |
| George Boole. His life and work |
Desmond MacHale |
Vickie Putnam |
1989 |
| Likeness to truth |
Graham Oddie |
Ilkka Niniluoto |
1989 |
| Relevant logics and their rivals. Part I. The basic philosophical and semantical theory |
Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady |
Daniel H. Cohen |
1989 |
| Allen Hazen. Predicative logics. Handbook of philosophica logic, Volume I, Elements of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 164 |
G. Kreisel |
1989 |
| A manual of intensional logic |
Johan Van Benthem |
R. A. Bull |
1989 |
| Beyond analytic philosophy. Doing justice to what we know |
Hao Wang |
Michael D. Resnik |
1989 |
| A theory of counterfactuals |
Igal Kvart |
Frank Jackson |
1989 |
| Hugues Leblanc. Alternatives to standard first-order semantics. Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 164 |
Martin Davies |
1989 |
| Hugues Leblanc. Alternatives to standard first-order semantics. Handbook of philosophical logic, Volume I, Elements of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 164 |
Martin Davies |
1989 |
| Johan van Benthem and Kees Doets. Higher-order logic. Handbook of philosophica logic, Volume I, Elements of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 164 |
Kim Bruce |
1989 |
| Wittgenstein and the turning-point in the philosophy of mathematics |
S. G. Shanker |
Mark Steiner |
1989 |
| Proof theory and logical complexity |
Jean-Yves Girard |
Helmut Pfeiffer |
1989 |
| Donald Nute. Conditional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 165 |
Charles B. Cross |
1989 |
| G. Mirkowska and A. Salwicki |
|
E. Engeler |
1989 |
| David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 165 |
Lenore D. Zuck |
1989 |
| Notes on logic and set theory |
Roger C Lyndon |
J C Shepherdson |
1989 |
| Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay and F. Guenthner, Synthese library, vol. 165 |
Steven T. Kuhn |
1989 |
| Die Grundlagen der Arithmetik |
Gottlob Frege |
Matthias Schirn |
1988-09-01 |
| Zahlen und Kontinuum |
Detlef Laugwitz |
H Osswald |
1988-06-01 |
| Der Formalismus und Seine Grenzen |
Rosemarie Rheinwald |
Steven J Wagner |
1988-06-01 |
| Husserls Philosophie der Mathematik |
Roger Schmit |
Robert Tragesser |
1988-06-01 |
| Husserls Philosophie der Mathematik |
Roger Schmit |
Robert Tragesser |
1988-06-01 |
| Problems, Functions and Semantic Roles |
E M Barth |
Barbara Abbott |
1988-03-01 |
| Mathematics in Philosophy: Selected Essays |
Charles Parsons |
Stewart Shapiro |
1988-03-01 |
| Computational limitations of small-depth circuits |
Johan Håstad |
Stuart A. Kurtz |
1988 |
| Reasoning with arbitrary objects |
Kit Fine |
John Macnamara |
1988 |
| Philosophy of logic |
W. V. Quine |
Michael Jubien |
1988 |
| Combinatorial set theory: partition relations for cardinals |
Paul Erdös, András Hajnal, Attila Máté, and Richard Rado |
Neil H. Williams |
1988 |
| Artificial intelligence: the very idea |
John Haugeland |
Ira Pohl |
1988 |
| Leila Haaparanta and Jaakko Hintikka. General introduction. Frege synthesized, Essays on the philosophical and foundational work of Gottlob Frege |
Leila Haaparanta and Jaakko Hintikka, Synthese library, vol. 181 |
Edwin Martin |
1988 |
| Cylindric algebras. Part II |
Leon Henkin, J. Donald Monk, and Alfred Tarski |
Roger D. Maddux |
1988 |
| A border dispute. The place of logic in psychology |
John Macnamara |
Jay L. Garfield |
1988 |
| Cylindric algebras. Part II |
L Henkin |
Roger D. Maddux |
1988 |
| Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications |
L. L. Ivanov |
Dag Normann |
1988 |
| Mass terms and model-theoretic semantics |
Harry C. Bunt |
Phillip Bricker |
1988 |
| Consequences of Martin's axiom |
D. H. Fremlin |
William Weiss |
1988 |
| Abstract objects. An introduction to axiomatic metaphysics |
Edward N. Zalta |
Michael Byrd |
1988 |
| Introduction to combinators and λ-calculus |
J. Roger Hindley and Jonathan P. Seldin |
J. L. Krivine |
1988 |
