| Sentential probability logic. Origins, development, current status, and technical applications |
Hailperin Theodore |
John P. Burgess |
1997 |
| From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol |
Øhrstrøm Peter and Hasle Per F. V.. Temporal logic |
Angelo Montanari |
1997 |
| A new introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
Michael Zakharyaschev |
1997 |
| Inconsistent mathematics. Mathematics and its applications |
Chris Mortensen |
Newton C. A. da Costa |
1997 |
| Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis |
Yuri V. Matiyasevich |
C. Dimitracopoulos |
1997 |
| Closure spaces and logic. Mathematics and its applications |
Norman M. Martin and Stephen Pollard |
Stephen L. Bloom |
1997 |
| Classical descriptive set theory |
Alexander S. Kechris |
R. Daniel Mauldin |
1997 |
| For the sake of the argument. Ramsey test conditionals, inductive inference, and nonmonotonic reasoning |
Levi Isaac |
R. D. Rosenkrantz |
1997 |
| Conditionals: from philosophy to computer science |
Frank Jackson |
Donald Nute |
1997 |
| Vicious circles. On the mathematics of non-wellfounded phenomena |
Barwise Jon and Moss Lawrence |
M. Boffa |
1997 |
| Reasoning about knowledge |
Joseph Y Halpern |
William J Rapaport |
1997 |
| Truth |
Herbert L Searles |
George Bealer |
1997 |
| Fine structure and iteration trees |
William J. Mitchell and John R. Steel |
P. D. Welch |
1997 |
| Shadows of the mind. A search for the missing science of consciousness |
Roger Penrose |
Piergiorgio Odifreddi |
1997 |
| The elements of advanced mathematics |
Steven G. Krantz |
Nancy Simco |
1996 |
| Formal methods in artificial intelligence |
Allan Ramsay |
Francis Jeffry Pelletier |
1996 |
| Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing |
Martin D Davis |
Wolfgang Maass |
1996 |
| Berechnungstheorie für Informatiker. With assistance from Ronald Peikert |
Erwin Engeler and Peter Läuchli |
Petr Hájek |
1996 |
| The language of machines. An introduction to computability and formal languages |
Robert W. Floyd and Richard Beigel |
Raymond D. Gumb |
1996 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
M. Randall Holmes |
1996 |
| Smullyan Raymond M. Diagonalization and self-reference |
|
Lev Beklemishev |
1996 |
| The combinatory programme. In collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel |
Erwin Engeler |
James Davenport |
1996 |
| Truth or consequences, Essays in honor of Nuel Belnap |
J. Michael Dunn and Anil Gupta |
Gerhard Schurz |
1996 |
| The higher infinite. Large cardinals in set theory from their beginnings |
Akihiro Kanamori |
Azriel Levy |
1996 |
| The logical status of diagrams |
Sun-Joo Shin |
Eric M. Hammer |
1996 |
| Groups of finite Morley rank |
Alexandre Borovik and Ali Nesin |
Daniel Lascar |
1996 |
| Finite model theory |
Ebbinghaus Heinz-Dieter and Jörg Flum |
G. L. McColm |
1996 |
| Frege. Philosophy of mathematics |
Michael Dummett |
Peter Simons |
1996 |
| Logica, taal en betekenis. Volume I. Inleiding in de logica. Dutch original of volume I of the preceding. Het Spectrum, De Meern1982, 351 pp. - L. T. F. Gamut (pseudonym). Logica, taal en betekenis. Volume II. Intensionele logica en logische grammatica. Dutch original of volume II of the preceding. Het Spectrum, De Meern1982, 422 pp. - J. B. Paris The uncertain reasoner's companion. A mathematical perspective |
L. T. F. Gamut (pseudonym) |
Henry E. Kyburg |
1996 |
| Logic, language, and meaning. Volume I. Introduction to logic. English translation of Logica, taal en betekenis, Volume I, Inleiding in de logica |
L. T. F. Gamut (pseudonym) |
Godehard Link |
1996 |
| Entailment. The logic of relevance and necessity |
Alan Ross Anderson, Nuel D. BelnapJr., and J. Michael Dunn |
Larisa Maksimova |
1996 |
| First steps in modal logic |
Popkorn Sally (pseudonym) |
Rajeev Goré |
1996 |
| Hammer Eric M. Logic and visual information |
|
Isabel Luengo |
1996 |
| Automorphisms of first-order structures |
Richard Kaye and Dugald Macpherson |
Gregory Cherlin |
1996 |
| Truth and modality for knowledge representation |
Raymond Turner |
Simone Martini |
1996 |
| Frege's theory of sense and reference. Its origins and scope. Modern European philosophy |
Wolfgang Carl |
Gottfried Gabriel |
1996 |
| Russell and analytic philosophy |
A. D. Irvine and G. A. Wedeking, Toronto studies in philosophy |
Alasdair Urquhart |
1996 |
| First-order logic. Corrected republication of XL 237 |
Raymond M. Smullyan |
Jeremy Avigad |
1996 |
| The logic of provability |
George Boolos |
Sergei N. Artemov |
1995 |
| Almost free modules. Set-theoretic methods |
Paul C. Eklof and Alan H. Mekler |
Alan Dow |
1995 |
| Logic from computer science, Proceedings of a workshop held November 13–17, 1989 |
Y. N. Moschovakis, Mathematical Sciences Research Institute publications, vol. 21 |
Helmut Schwichtenberg |
1995 |
| Model theory |
Wilfrid Hodges |
Anand Pillay |
1995 |
| Arithmetic, proof theory, and computational complexity |
Peter Clote and Krajíček Jan, Oxford logic guides, no. 23 |
Fernando Ferreira |
1995 |
| A many-valued approach to deduction and reasoning for artificial intelligence |
Cary G. deBessonet |
Robert Stärk |
1995 |
| Gödel's incompleteness theorems |
V A Uspensky |
George Boolos |
1995 |
| Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences |
Jody Azzouni |
Mark Balaguer |
1995 |
| Metamathematics of first-order arithmetic |
Petr Hájek and Pavel Pudlák |
Richard Kaye |
1995 |
| Relative category theory and geometric morphisms. A logical approach |
Jonahan Chapman and Frederick Rowbottom |
I. Moerdijk |
1995 |
| Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science |
Thomas Streicher |
Markus Marzetta |
1995 |
| The revision theory of truth |
Anil Gupta and Nuel Belnap |
Michael Sheard |
1995 |
