| Essential stability theory |
Steven Buechler |
Michael C. Laskowski |
The Journal of Symbolic Logic |
1998 |
| Introduction to the model theory of fields |
David Marker |
Zoé Chatzidakis |
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 descriptive set theory of Polish group actions |
Howard Becker and Alexander S. Kechris |
Arlan Ramsay |
The Journal of Symbolic Logic |
1998 |
| A Theory of Textuality: The Logic and Epistemology |
Jorge J. E. Gracia |
Dennis Patterson |
The Review of Metaphysics |
1997-06-00 |
| 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 |
| Notes on set theory |
Yiannis N. Moschovakis |
Joel David Hamkins |
The Journal of Symbolic Logic |
1997 |
| Classical descriptive set theory |
Alexander S. Kechris |
R. Daniel Mauldin |
The Journal of Symbolic Logic |
1997 |
| Golden Rule: The Investment Theory of Party Competition and the Logic of Money-Driven Political Systems |
Thomas Ferguson |
Michael C. Munger |
The Independent Review |
1996-03-01 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
M. Randall Holmes |
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 |
| Finite model theory |
Ebbinghaus Heinz-Dieter and Jörg Flum |
G. L. McColm |
The Journal of Symbolic Logic |
1996 |
| Frege's theory of sense and reference. Its origins and scope. Modern European philosophy |
Wolfgang Carl |
Gottfried Gabriel |
The Journal of Symbolic Logic |
1996 |
| Model theory |
Wilfrid Hodges |
Anand Pillay |
The Journal of Symbolic Logic |
1995 |
| Arithmetic, proof theory, and computational complexity |
Peter Clote and Krajíček Jan, Oxford logic guides, no. 23 |
Fernando Ferreira |
The Journal of Symbolic Logic |
1995 |
| Relative category theory and geometric morphisms. A logical approach |
Jonahan Chapman and Frederick Rowbottom |
I. Moerdijk |
The Journal of Symbolic Logic |
1995 |
| Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science |
Thomas Streicher |
Markus Marzetta |
The Journal of Symbolic Logic |
1995 |
| The Revision Theory of Truth |
Anil Gupta and Nuel Belnap |
Michael Sheard |
The Journal of Symbolic Logic |
1995 |
| Set theory of the continuum |
H. Judah |
James Cummings |
The Journal of Symbolic Logic |
1995 |
| Recursion theory for metamathematics |
Raymond M. Smullyan |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1995 |
| A Structuralist Theory of Logic |
Arnold Koslow |
Zlatan Damnjanovic |
The Philosophical Review |
1994-10-00 |
| The Revision Theory of Truth |
Anil Gupta and Nuel Belnap |
Robert C Koons |
Notre Dame Journal of Formal Logic |
1994-09-01 |
| Argumentation Theory and the Rhetoric of Assent |
David Cratis Williams |
Lenore Langsdorf |
Informal Logic |
1994-09-01 |
| Logic: The Theory of Inquiry |
John Dewey |
Glenn E. McGee |
The Southern Journal of Philosophy |
1994-03-01 |
| The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419 |
Keith Devlin |
H. B. Enderton |
The Journal of Symbolic Logic |
1994 |
| Mathematical logic: applications and theory |
Jean E. Rubin |
Walter Felscher |
The Journal of Symbolic Logic |
1994 |
| A Structuralist Theory of Logic |
Arnold Koslow |
Vann McGee |
The Journal of Philosophy |
1993-05-01 |
| Computable set theory |
Domenico Cantone |
Lincoln A. Wallen |
The Journal of Symbolic Logic |
1993 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
Randall Holmes |
The Journal of Symbolic Logic |
1993 |
| Proof theory. An introduction |
Wolfram Pohlers |
Andrea Cantini |
The Journal of Symbolic Logic |
1993 |
| Classification theory and the number of non-isomorphic models |
S. Shelah |
Bradd Hart |
The Journal of Symbolic Logic |
1993 |
| Complexity Theory of Real Functions |
Ker-I Ko |
G Malajovich |
The Journal of Symbolic Logic |
1992-12-01 |
| Classification theory and the number of non-isomorphic models |
S Shelah |
Steven Buechler |
Notre Dame Journal of Formal Logic |
1992-12-01 |
| The Logic of Lawmaking: A Spatial Theory Approach |
Gerald S. Strom |
Howard Rosenthal |
Public Choice |
1992-01-00 |
| Higher recursion theory |
Gerald E. Sacks |
Dag Normann |
The Journal of Symbolic Logic |
1992 |
| Fundamentals of stability theory |
John T. Baldwin |
Anand Pillay |
The Journal of Symbolic Logic |
1992 |
| Programming in Martin-Löf's type theory. An introduction |
Bengt Nordström, Kent Petersson, and Jan M. Smith |
John C. Mitchell |
The Journal of Symbolic Logic |
1992 |
| Graphs and order. The role of graphs in the theory of ordered sets and its applications |
Ivan Rival |
R. Downey |
The Journal of Symbolic Logic |
1992 |
| Progress in theoretical computeer science |
Ker-I Ko. Complexity theory of real functions |
G. Malajovich |
The Journal of Symbolic Logic |
1992 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Dario Palladino |
Epistemologia: Rivista italiana di Filosofia della Scienza |
1991-07-01 |
| Model theory |
C. C. Chang and H. J. Keisler |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| Philosophical Introduction to Set Theory |
Stephen Pollard |
Penelope Maddy |
The Journal of Symbolic Logic |
1991 |
| An introduction to the theory of computation |
Eitan Gurari |
William I. Gasarch |
The Journal of Symbolic Logic |
1991 |
| Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes |
J. Richard Büchi |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1991 |
| Complexity Theory and Interaction |
Uwe Schoning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
| H. J. Keisler, Model Theory |
C. C. Chang |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21 |
J. Steprāns |
Judith Roitman |
The Journal of Symbolic Logic |
1991 |
| Complexity theory and interaction |
Uwe Schöning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
