| Deflating Existential Consequence: A Case for Nominalism |
Jody Azzouni |
John P Burgess |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Deductive Logic |
Warren Goldfarb |
Sherrilyn Roush |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Ocerki sotsialnoj istorii logiki v Rossii (Sketches of the Social History of Logic in Russia) |
V A Bazhanov |
Werner Stelzner |
The Bulletin of Symbolic Logic |
2004-09-01 |
| Reasoning about Uncertainty |
Joseph Y Halpern |
Ian Pratt-Hartmann |
The Bulletin of Symbolic Logic |
2004-09-01 |
| A Hundred Years of Logical Investigations: Reform Efforts of Logic in Germany 1781-1879 |
Risto Vilkko |
Javier Legris |
The Bulletin of Symbolic Logic |
2004-09-01 |
| Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s |
Dennis Hesseling |
Mark Van Atten |
The Bulletin of Symbolic Logic |
2004-09-01 |
| Types and Programming Languages |
Benjamin C Peirce |
Frank Pfenning |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Subgroup Growth (Progress in Mathematics, Vol. 212) |
Alexander Lubotzky |
Marcus Du Sautoy |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Sheaves, Games, and Model Completions (Trends in Logic, Vol. 14) |
Silvio Ghilardi |
Jaap Van Oosten |
The Bulletin of Symbolic Logic |
2004-06-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Mark Colyvan |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Fibring Logics (Oxford Logic Guides, Volume 38) |
Dov M Gabbay |
Marcus Kracht |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Handbook of the Logic of Argument and Inference (Studies in Logic and Practical Reasoning, Vol. 1) |
D M Gabbay |
V V Rybakov |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Domains and Lambda-Calculi |
R Amadio |
René David |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Vol. 55) |
Marc Bezem |
Jürgen Giesl |
The Bulletin of Symbolic Logic |
2004-06-01 |
| La filosofia di Gottlob Frege |
Nicla Vassallo |
Miriam Franchella |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Deduction: Introductory Symbolic Logic, 2nd Edition |
Daniel Bonevac |
Stig Alstrup Rasmussen |
Studia Logica |
2004-06-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 1: Dokumente und historische Analysen |
Eckehart Köhler |
Matthias Wille |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Kurt Gödel: Wahrheit und Beweisbarkeit, Band 2: Kompendium zum Werk |
Bernd Buldt |
Matthias Wille |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Labelled Non-Classical Logics |
Luca Vigano |
Petr Hájek |
The Bulletin of Symbolic Logic |
2004-03-01 |
| The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning by George Boole (Die mathematische Analyse der Logik: Der Versuch eines Kalküls des deduktiven Schließen von George Boole) |
George Boole |
Risto Vilkko |
The Bulletin of Symbolic Logic |
2004-03-01 |
| Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science, Vol. 2500) |
Erich Grädel |
David Janin |
The Bulletin of Symbolic Logic |
2004-03-01 |
| A New Kind of Science |
Stephen Wolfram |
John Baldwin |
The Bulletin of Symbolic Logic |
2004-03-01 |
| Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences |
John Woods |
Philip Kremer |
The Bulletin of Symbolic Logic |
2004-03-01 |
| Model Theory of Stochastic Processes (Lecture Notes in Logic, Vol. 14) |
Sergio Fajardo |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2004-03-01 |
| Computability and Logic (Fourth Edition) |
George S Boolos |
Richard Zach |
The Bulletin of Symbolic Logic |
2003-12-01 |
| Fuzzy Logic: Mathematical Tools for Approximate Reasoning (Trends in Logic, Studia Logica Library 11) |
Giangiacomo Gerla |
Petr Hájek |
The Bulletin of Symbolic Logic |
2003-12-01 |
| Free Logic: Selected Essays |
Karel Lambert |
David DeVidi |
The Bulletin of Symbolic Logic |
2003-12-01 |
| An Introduction to Probability and Inductive Logic |
Ian Hacking |
Branden Fitelson |
The Bulletin of Symbolic Logic |
2003-12-01 |
| Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland: Mit einem Essay von Jan von Plato |
Eckart Menzler-Trott |
Volker Peckhaus |
The Bulletin of Symbolic Logic |
2003-12-01 |
| Relation Algebras by Games |
Robin Hirsch |
Roger D Maddux |
The Bulletin of Symbolic Logic |
2003-12-01 |
| Philosophy of Logic: An Anthology |
Dale Jacquette |
William H Hanson |
The Bulletin of Symbolic Logic |
2003-12-01 |
| Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 271) |
David Marker |
Bradd Hart |
The Bulletin of Symbolic Logic |
2003-09-01 |
| A mathematical introduction to logic |
Herbert B Enderton |
Natasha Dobrinen |
The Bulletin of Symbolic Logic |
2003-09-01 |
| Euler-Diagramme: Zur Morphologie einer Repräsentationsform in der Logik |
Peter Bernhard |
Michael Beaney |
The Bulletin of Symbolic Logic |
2003-09-01 |
| Paraconsistency: The Logical Way to the Inconsistent |
Walter A Carnielli |
Casey N McGinnis |
The Bulletin of Symbolic Logic |
2003-09-01 |
| Inner Models and Large Cardinals |
Martin Zeman |
Ernest Schimmerling |
The Bulletin of Symbolic Logic |
2003-06-01 |
| Decision Problems for Equational Theories of Relation Algebras |
H Andréka |
Roger D Maddux |
The Bulletin of Symbolic Logic |
2003-03-01 |
| Logical Properties: Identity, Existence, Predication, Necessity, Truth |
Colin McGinn |
Matthew McKeon |
The Bulletin of Symbolic Logic |
2003-03-01 |
| Modal Logic |
Patrick Blackburn |
Marcus Kracht |
The Bulletin of Symbolic Logic |
2002-06-00 |
| Thinking about Mathematics: The Philosophy of Mathematics |
Stewart Shapiro |
Mark Balaguer |
The Bulletin of Symbolic Logic |
2002-03-00 |
| The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal |
W. Hugh Woodin |
Paul B. Larson |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Engines of Logic. Mathematicians and the Origin of the Computer |
Martin Davis |
John W. Dawson |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Computability. Computable Functions, Logic, and the Foundations of Mathematics |
Richard L. Epstein |
Carlos Augusto Di Prisco |
The Bulletin of Symbolic Logic |
2002-03-00 |
| An Invitation to Formal Reasoning. The Logic of Terms |
Fred Sommers |
William C. Purdy |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Advances in Modal Logic |
Marcus Kracht |
Edwin D. Mares |
The Bulletin of Symbolic Logic |
2002-03-00 |
| From Trotsky to Gödel. The Life of Jean van Heijenoort |
Anita Burdman Feferman |
H. B. Enderton |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Fine Structure and Class Forcing |
Sy D. Friedman |
M. C. Stanley |
The Bulletin of Symbolic Logic |
2001-12-00 |
| Descriptive Complexity |
Neil Immerman |
Steven Lindell |
The Bulletin of Symbolic Logic |
2001-12-00 |
| An Introduction to Substructural Logics |
John Nolt |
Kosta Dosen |
The Bulletin of Symbolic Logic |
2001-12-00 |
| A Descriptive View of Ergodic Theory |
Matthew Foreman |
Greg Hjorth |
The Bulletin of Symbolic Logic |
2001-12-00 |
