| Type-logical semantics |
Bob Carpenter |
Rineke Verbrugge |
1999 |
| Philosophy of mathematics. Structure and ontology |
Stewart Shapiro |
Geoffrey Hellman |
1999 |
| Representing and reasoning with probabilistic knowledge. A logical approach to probabilities |
Fahiem Bacchus |
Jerzy W. Grzymala-Busse |
1999 |
| Naturalism in mathematics |
Penelope Maddy |
Bob Hale |
1999 |
| Extending deontic logic for the formalisation of legal rules. Law and philosophy library, vol |
Lambèr M. M. Royakkers |
Patrice Bailhache |
1999 |
| Third edition of LVIII 362 |
The language of first-order logic 4.0 Jon Barwise and John Etchemendy |
Don Fallis |
1999 |
| Bounded arithmetic, propositional logic, and complexity theory |
Jan Krajícek |
P. Clote |
1999 |
| The logic of intentional objects. A Meinongian version of classical logic |
Jacek Paśniczek |
Dale Jacquette |
1999 |
| Proof theory of modal logic |
Heinrich Wansing |
Melvin Fitting |
1999 |
| Logic for applications |
Anil Nerode and Richard A. Shore |
Fahiem Bacchus |
1999 |
| Set theory and the continuum problem |
Raymond M. Smullyan and Melvin Fitting |
James Cummings |
1999 |
| Subsystems of second order arithmetic |
Stephen G. Simpson |
Peter Cholak |
1999 |
| Konechno aksiomatiziruemye teorii. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1997, 322 + xiv pp. - F. R. Drake and D. Singh. Intermediate set theory |
Mikhail G. Peretyat'Kin |
Martin Goldstern |
1999 |
| Lewis Carroll (pseudonym), Das Spiel der Logik, Germam Translation by Micheal Zöllner of 671, Edited and with an afterword by Paul Good |
|
Keith Stenning |
1999 |
| Information flow. The logic of distributed systems |
Jon Barwise and Jerry Seligman |
Maarten De Rijke |
1999 |
| Logical tools for modelling legal argument. A study of defeasible reasoning in law. Law and philosophy library, vol |
Henry Prakken |
R. P. Loui |
1999 |
| Nicholas Pippenger, Theories of computability |
|
Hans Hüttel |
1999 |
| La logique combinatoire. Qui sais-je? no. 3205 |
Jean-Pierre Ginisti |
Jonathan P. Seldin |
1999 |
| Foundations for programming languages |
John C. Mitchell |
Arnon Avron |
1999 |
| John P. Burgess and Gideon Rosen, A subject with no object |
|
Charles Parsons |
1999 |
| Russell et le cercle ties paradoxes. Épiméthée |
Philippe de Rouilhan |
Newton C. A. da Costa |
1999 |
| Basic simple type theory |
J. Roger Hindley |
Anton Setzer |
1999 |
| Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science |
J.-J |
Rineke Verbrugoe |
1999 |
| Interpretationen der Modallogik. Ein Beitrag zur phänomenologischen Wissenschaftstheorie |
Olav K. Wiegand |
Guillermo E Rosado Haddock |
1999 |
| Introduction to the theory of computation |
Michael Sipser |
Lance Fortnow |
1999 |
| Understanding the infinite |
Shaughan Lavine |
Jamie Tappenden |
1999 |
| Essential stability theory |
Steven Buechler |
Michael C. Laskowski |
1998 |
| Selected manuscripts on logic and its philosophy. Edited by Ivor Grattan-Guinness and Gérard Bornet. Science networks historical studies, vol |
George Boole |
Theodore Hailperin |
1998 |
| An introduction to default logic |
Philippe Besnard |
V. Wiktor Marek |
1998 |
| David Marker, Introduction to the model theory of fields |
|
Zoé Chatzidakis |
1998 |
| Aspects of incompleteness |
Per Lindström |
Lev Beklemishev |
1998 |
| Schetnye bulevy algebry i razreshimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1996, 364 + xii pp |
Sergeǐ S. Goncharov |
Boris Zil'ber |
1998 |
| Basic proof theory |
A. S. Troelstra and H. Schwichtenberg |
Roy Dyckhoff |
1998 |
| Set theory for the working mathematician |
Krzysztof Ciesielski |
Winfried Just |
1998 |
| The principles of mathematics revisited |
Jaakko Hintikka |
Harold Hodes |
1998 |
| The core model iterability problem |
John R. Steel |
Ernest Schimmerling |
1998 |
| On the philosophical significance of Frege's theorem. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr |
Crispin Wright |
William Demopoulos |
1998 |
| Solving the frame problem. A mathematical investigation of the common sense law of inertia |
Murray Shanahan |
Michael Gelfond |
1998 |
| Extensions of first order logic |
María Manzano |
Yde Venema |
1998 |
| On numbers and games. L.M.S |
J. H. Conway |
Jacob Lurie |
1998 |
| F. P. Ramsey, Universals. A reprint of 2954. Philosophical papers, by F. P. Ramsey |
F. P. Ramsey |
Mathieu Marion |
1998 |
| Logical frameworks for truth and abstraction. An axiomatic study |
Gérard Huet |
Dusko Pavlovic |
1998 |
| The descriptive set theory of Polish group actions |
Howard Becker and Alexander S. Kechris |
Arlan Ramsay |
1998 |
| Solvability, provability, definability: the collected works of Emil L. Post |
Davis Martin, Contemporary mathematicians |
H. B. Enderton |
1997 |
| Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way |
Arnold W. Miller |
Tomek Bartoszyński |
1997 |
| Editor's introduction |
Montgomery Furth |
G. Hasenjaeger |
1997 |
| Notes on set theory |
Yiannis N. Moschovakis |
Joel David Hamkins |
1997 |
| Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow |
Yu. V. Matiyasevich |
Neil Immerman |
1997 |
| The design of relational databases |
Heikki Mannila and Kari-Jouko Räihä |
J. A. Makowsky |
1997 |
| Cardinal arithmetic |
Shelah Saharon |
Akihiro Kanamori |
1997 |
