| Groups of finite Morley rank |
Alexandre Borovik and Ali Nesin |
Daniel Lascar |
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: Philosophy of Mathematics |
Michael Dummett |
Peter Simons |
The Journal of Symbolic Logic |
1996 |
| Logica, taal en betekenis. Volume I. Inleiding in de logica |
L. T. F. Gamut (pseudonym) |
Henry E. Kyburg |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1996 |
| Entailment. The logic of relevance and necessity |
Alan Ross Anderson, Nuel D. Belnap Jr., and J. Michael Dunn |
Larisa Maksimova |
The Journal of Symbolic Logic |
1996 |
| First steps in modal logic |
Popkorn Sally (pseudonym) |
Rajeev Goré |
The Journal of Symbolic Logic |
1996 |
| Hammer Eric M. Logic and visual information |
|
Isabel Luengo |
The Journal of Symbolic Logic |
1996 |
| Automorphisms of first-order structures |
Richard Kaye and Dugald Macpherson |
Gregory Cherlin |
The Journal of Symbolic Logic |
1996 |
| Truth and modality for knowledge representation |
Raymond Turner |
Simone Martini |
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 |
| Russell and analytic philosophy |
A. D. Irvine and G. A. Wedeking, Toronto studies in philosophy |
Alasdair Urquhart |
The Journal of Symbolic Logic |
1996 |
| First-order logic. Corrected republication of XL 237 |
Raymond M. Smullyan |
Jeremy Avigad |
The Journal of Symbolic Logic |
1996 |
| Modern Logic. A Text in Elementary Symbolic Logic |
Graeme Forbes |
Michael Clark |
Philosophical Books |
1995-04-01 |
| The Logic of Provability |
George Boolos |
Sergei N. Artemov |
The Journal of Symbolic Logic |
1995 |
| Almost free modules. Set-theoretic methods |
Paul C. Eklof and Alan H. Mekler |
Alan Dow |
The Journal of Symbolic Logic |
1995 |
| Logic from computer science, Proceedings of a workshop held November 13–17 |
Y. N. Moschovakis |
Helmut Schwichtenberg |
The Journal of Symbolic Logic |
1995 |
| 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 |
| A many-valued approach to deduction and reasoning for artificial intelligence |
Cary G. deBessonet |
Robert Stärk |
The Journal of Symbolic Logic |
1995 |
| Gödel's incompleteness theorems |
V A Uspensky |
George Boolos |
The Journal of Symbolic Logic |
1995 |
| Metaphysical Myths, Mathematical Practice: The Ontology and Epistemology of the Exact Sciences |
Jody Azzouni |
Mark Balaguer |
The Journal of Symbolic Logic |
1995 |
| Metamathematics of first-order arithmetic |
Petr Hájek and Pavel Pudlák |
Richard Kaye |
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 |
| Charles Sanders Peirce: A Life |
Joseph Brent |
Randall R. Dipert |
The Journal of Symbolic Logic |
1995 |
| Thinking things through. An introduction to philosophical issues and achievements |
Clark Glymour |
Susan Russinoff |
The Journal of Symbolic Logic |
1995 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
The Journal of Symbolic Logic |
1995 |
| The Banach–Tarski paradox |
Stan Wagon |
Matthew Foreman |
The Journal of Symbolic Logic |
1995 |
| Mathematics without Numbers: Towards a Modal-Structural Interpretation |
Geoffrey Hellman |
Peter Clark |
The Journal of Symbolic Logic |
1995 |
| The logical basis for computer programming. Volume I. Deductive reasoning |
Zohar Manna and Richard Waldinger |
Hans Kleine Büning |
The Journal of Symbolic Logic |
1995 |
| Recursion theory for metamathematics |
Raymond M. Smullyan |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1995 |
| A short introduction to modal logic |
Grigori Mints |
Billy Joe Lucas |
The Journal of Symbolic Logic |
1995 |
| Structures for semantics. Studies in linguistics and philosophy, vol |
Fred Landman |
Alice ter Meulen |
The Journal of Symbolic Logic |
1995 |
| How to prove it. A structured approach |
Daniel J. Velleman |
Jeffrey A. Barrett |
The Journal of Symbolic Logic |
1995 |
| Modalities, Philosophical essays |
|
John Bacon |
The Journal of Symbolic Logic |
1995 |
| An introduction to Kolmogorov complexity and its applications |
Ming Li and Paul Vitányi |
V. A. Uspensky |
The Journal of Symbolic Logic |
1995 |
| Computability in combinatory spaces. An algebraic generalization of abstract first order computability |
Dimiter G. Skordev |
Dag Normann |
The Journal of Symbolic Logic |
1995 |
| Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 |
Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas |
Steffen Lempp |
The Journal of Symbolic Logic |
1995 |
| Joseph R. Shoenfield |
|
Steffen Lempp |
The Journal of Symbolic Logic |
1994 |
| L'anti-fondation en logique et en theorie des ensembles |
R. Hinnion, Cahiers du Centre de Logique, no. 7, Academia |
R. Lunnon |
The Journal of Symbolic Logic |
1994 |
| Logic of domains. Progress in theoretical computer science |
Guo-Qiang Zhang |
Manfred Droste |
The Journal of Symbolic Logic |
1994 |
| The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419 |
Keith Devlin |
H. B. Enderton |
The Journal of Symbolic Logic |
1994 |
| Words of power. A feminist reading of the history of logic. Thinking gender |
Andrea Nye |
Joan Weiner |
The Journal of Symbolic Logic |
1994 |
| Mathematical logic: applications and theory |
Jean E. Rubin |
Walter Felscher |
The Journal of Symbolic Logic |
1994 |
| Logical foundations of functional programming |
Gérard Huet, The UT year of programming series |
Karl Meinke |
The Journal of Symbolic Logic |
1994 |
| An Architectonic for Science: The Structuralist Program |
Wolfgang Balzer |
N C A Da Costa |
The Journal of Symbolic Logic |
1994 |
| Proof and Knowledge in Mathematics |
Michael Detlefsen |
David Auerbach |
The Journal of Symbolic Logic |
1994 |
