| Understanding the Infinite |
Shaughan Lavine |
Jamie Tappenden |
The Journal of Symbolic Logic |
1999 |
| Essential stability theory |
Steven Buechler |
Michael C. Laskowski |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1998 |
| An introduction to default logic |
Philippe Besnard |
V. Wiktor Marek |
The Journal of Symbolic Logic |
1998 |
| Introduction to the model theory of fields |
David Marker |
Zoé Chatzidakis |
The Journal of Symbolic Logic |
1998 |
| Aspects of incompleteness |
Per Lindström |
Lev Beklemishev |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1998 |
| Basic proof theory |
A. S. Troelstra and H. Schwichtenberg |
Roy Dyckhoff |
The Journal of Symbolic Logic |
1998 |
| Set theory for the working mathematician |
Krzysztof Ciesielski |
Winfried Just |
The Journal of Symbolic Logic |
1998 |
| The Principles of Mathematics Revisited |
Jaakko Hintikka |
Harold Hodes |
The Journal of Symbolic Logic |
1998 |
| The core model iterability problem |
John R. Steel |
Ernest Schimmerling |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1998 |
| Solving the frame problem. A mathematical investigation of the common sense law of inertia |
Murray Shanahan |
Michael Gelfond |
The Journal of Symbolic Logic |
1998 |
| Extensions of first order logic |
María Manzano |
Yde Venema |
The Journal of Symbolic Logic |
1998 |
| On numbers and games. L.M.S |
J. H. Conway |
Jacob Lurie |
The Journal of Symbolic Logic |
1998 |
| F. P. Ramsey, Universals. A reprint of 2954. Philosophical papers, by F. P. Ramsey |
F. P. Ramsey |
Mathieu Marion |
The Journal of Symbolic Logic |
1998 |
| Logical frameworks for truth and abstraction. An axiomatic study |
Gérard Huet |
Thomas Strahm |
The Journal of Symbolic Logic |
1998 |
| The descriptive set theory of Polish group actions |
Howard Becker and Alexander S. Kechris |
Arlan Ramsay |
The Journal of Symbolic Logic |
1998 |
| Solvability, provability, definability: the collected works of Emil L. Post |
Davis Martin, Contemporary mathematicians |
H. B. Enderton |
The Journal of Symbolic Logic |
1997 |
| Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way |
Arnold W. Miller |
Tomek Bartoszyński |
The Journal of Symbolic Logic |
1997 |
| Editor's introduction |
Montgomery Furth |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1997 |
| Notes on set theory |
Yiannis N. Moschovakis |
Joel David Hamkins |
The Journal of Symbolic Logic |
1997 |
| Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow |
Yu. V. Matiyasevich |
Neil Immerman |
The Journal of Symbolic Logic |
1997 |
| The design of relational databases |
Heikki Mannila and Kari-Jouko Räihä |
J. A. Makowsky |
The Journal of Symbolic Logic |
1997 |
| Cardinal arithmetic |
Shelah Saharon |
Akihiro Kanamori |
The Journal of Symbolic Logic |
1997 |
| Sentential probability logic. Origins, development, current status, and technical applications |
Hailperin Theodore |
John P. Burgess |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1997 |
| A new introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
Michael Zakharyaschev |
The Journal of Symbolic Logic |
1997 |
| Inconsistent mathematics. Mathematics and its applications |
Chris Mortensen |
Newton C. A. da Costa |
The Journal of Symbolic Logic |
1997 |
| Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis |
Yuri V. Matiyasevich |
C. Dimitracopoulos |
The Journal of Symbolic Logic |
1997 |
| Closure spaces and logic. Mathematics and its applications |
Norman M. Martin and Stephen Pollard |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1997 |
| Classical descriptive set theory |
Alexander S. Kechris |
R. Daniel Mauldin |
The Journal of Symbolic Logic |
1997 |
| For the sake of the argument. Ramsey test conditionals, inductive inference, and nonmonotonic reasoning |
Levi Isaac |
R. D. Rosenkrantz |
The Journal of Symbolic Logic |
1997 |
| Conditionals |
Frank Jackson |
Donald Nute |
The Journal of Symbolic Logic |
1997 |
| Vicious circles. On the mathematics of non-wellfounded phenomena |
Barwise Jon and Moss Lawrence |
M. Boffa |
The Journal of Symbolic Logic |
1997 |
| Reasoning about knowledge |
Joseph Y Halpern |
Rohit Parikh |
The Journal of Symbolic Logic |
1997 |
| Truth |
Herbert L Searles |
George Bealer |
The Journal of Symbolic Logic |
1997 |
| Fine structure and iteration trees |
William J. Mitchell and John R. Steel |
P. D. Welch |
The Journal of Symbolic Logic |
1997 |
| Shadows of the mind. A search for the missing science of consciousness |
Roger Penrose |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1997 |
| The elements of advanced mathematics |
Steven G. Krantz |
Nancy Simco |
The Journal of Symbolic Logic |
1996 |
| Formal methods in artificial intelligence |
Allan Ramsay |
Francis Jeffry Pelletier |
The Journal of Symbolic Logic |
1996 |
| Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing |
Martin D Davis |
H. B. Enderton |
The Journal of Symbolic Logic |
1996 |
| Berechnungstheorie für Informatiker. With assistance from Ronald Peikert |
Erwin Engeler and Peter Läuchli |
Petr Hájek |
The Journal of Symbolic Logic |
1996 |
| The language of machines. An introduction to computability and formal languages |
Robert W. Floyd and Richard Beigel |
Raymond D. Gumb |
The Journal of Symbolic Logic |
1996 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
M. Randall Holmes |
The Journal of Symbolic Logic |
1996 |
| Smullyan Raymond M. Diagonalization and self-reference |
|
Lev Beklemishev |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1996 |
| Truth or consequences, Essays in honor of Nuel Belnap |
J. Michael Dunn and Anil Gupta |
Gerhard Schurz |
The Journal of Symbolic Logic |
1996 |
| The higher infinite. Large cardinals in set theory from their beginnings |
Akihiro Kanamori |
Azriel Levy |
The Journal of Symbolic Logic |
1996 |
| The Logical Status of Diagrams |
Sun-Joo Shin |
Eric M. Hammer |
The Journal of Symbolic Logic |
1996 |
