| Forcing Idealized |
J. Zapletal |
Mirna Dzamonja |
The Bulletin of Symbolic Logic |
2010-06-00 |
| Logik und Logiker in der DDR. Eine Wissenschaft im Aufbruch |
Lothar Kreiser |
Matthias Wille |
The Bulletin of Symbolic Logic |
2010-03-00 |
| Computability and Randomness |
André Nies |
Anthony Morphett |
The Bulletin of Symbolic Logic |
2010-03-00 |
| The Princeton Companion to Mathematics Timothy Gowers June Barrow-Green Imre Leader |
Timothy Gowers |
Juliette Kennedy |
The Bulletin of Symbolic Logic |
2009-12-00 |
| The Cambridge Companion to Carnap Michael Friedman Richard Creath |
Michael Friedman |
James Justus |
The Bulletin of Symbolic Logic |
2009-12-00 |
| Die Logik der Unbestimmtheiten und Paradoxien |
Ulrich Blau |
Ralf Schindler |
The Bulletin of Symbolic Logic |
2009-12-00 |
| Tool and Object: A History and Philosophy of Category Theory |
Steve Awodey |
Jirí Rosický |
The Bulletin of Symbolic Logic |
2009-09-00 |
| An introduction to Gödel's theorems |
Peter Smith |
Arnon Avron |
The Bulletin of Symbolic Logic |
2009-06-01 |
| The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications |
Richard Kaye |
Rafal Urbaniak |
The Bulletin of Symbolic Logic |
2009-06-00 |
| Quintessence: Basic Readings from the Philosophy of W. V. Quine |
Roger F Gibson Jr |
Alex Orenstein |
The Bulletin of Symbolic Logic |
2009-06-00 |
| An Introduction to Gödel's Theorems |
Peter Smith |
Arnon Avron |
The Bulletin of Symbolic Logic |
2009-06-00 |
| Die Mathematik und das synthetische Apriori. Erkenntnistheoretische Untersuchungen über den Geltungsstatus mathematischer Axiome |
Matthias Wille |
Mark Van Atten |
The Bulletin of Symbolic Logic |
2009-03-00 |
| From Peirce to Skolem: A Neglected Chapter in the History of Logic |
Geraldine Brady |
John Corcoran |
The Bulletin of Symbolic Logic |
2008-12-00 |
| An Introduction to Non-Classical Logic: From If to Is |
Graham Priest |
Petr Hájek |
The Bulletin of Symbolic Logic |
2008-12-00 |
| Absolute Generality Agustín Rayo Gabriel Uzquiano |
Agustín Rayo |
Peter Smith |
The Bulletin of Symbolic Logic |
2008-09-00 |
| The Continuum |
Rudolf Taschner |
Robert Lubarsky |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Proof-Net Categories Kosta Došen Zoran Petrić |
Kosta Dosen |
Lutz Strassburger |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Philosophische Schriften. Vol. VIII: Kleinere Philosophische Abhandlungen Und Rezensionen Johann Heinrich Lambert A. Emmel A. Spree |
Johann Heinrich Lambert |
Volker Peckhaus |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Metaphysics, Mathematics, and Meaning: Philosophical Papers I |
Nathan Salmon |
Brian Van den Broek |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Mathematical Logic Ian Chiswell Wilfrid Hodges |
Ian Chiswell |
Robert Lubarsky |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Leopold Löwenheim (1878-1957) |
C. Thiel |
Volker Peckhaus |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Inexhaustibility: A Non-Exhaustive Treatment |
Torkel Franzén |
Lev D. Beklemishev |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Current Topics in Logic and Analytic Philosophy Concha Martínez José L. Falguera José M. Sagüillo |
Concha Martínez |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Truth and Games: Essays in Honour of Gabriel Sandu |
Tuomo Aho Aho |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2008-03-01 |
| Towards Non-Being: The Logic and Metaphysics of Intentionality |
Graham Priest |
Thomas Hofweber |
The Bulletin of Symbolic Logic |
2008-03-01 |
| Finite Structures with Few Types |
Gregory Cherlin |
Vera Koponen |
The Bulletin of Symbolic Logic |
2008-03-01 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Kurt Gödel: Das Album: The Album |
Karl Sigmund |
Volker Peckhaus |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Doubt Truth to Be a Liar |
Graham Priest |
Kevin Scharp |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Truth, etc.: Six Lectures on Ancient Logic |
Jonathan Barnes |
Mirja Hartimo |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Universal Logic |
Ross Brady |
Greg Restall |
The Bulletin of Symbolic Logic |
2007-12-01 |
| Historical Dictionary of Logic |
Harry J Gensler |
Roman Murawski |
The Bulletin of Symbolic Logic |
2007-09-01 |
| The Continuous and the Infinitesimal in Mathematics and Philosophy |
John L Bell |
Philip Ehrlich |
The Bulletin of Symbolic Logic |
2007-09-01 |
| Nonstandard Methods and Applications in Mathematics |
Nigel J Cutland |
Alasdair Urquhart |
The Bulletin of Symbolic Logic |
2007-09-01 |
| A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning |
Larry Wos |
Robert K Meyer |
The Bulletin of Symbolic Logic |
2007-09-01 |
| The Architecture of Modern Mathematics: Essays in History and Philosophy |
José Ferreirós |
Torsten Wilholt |
The Bulletin of Symbolic Logic |
2007-09-01 |
| Super-Recursive Algorithms |
Mark Burgin |
Martin Davis |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Einführung in die Unvollständigkeitstheoreme |
Sergio Galvan |
Andrea Reichenberger |
The Bulletin of Symbolic Logic |
2007-06-01 |
| A Theory of Argument |
Mark Vorobej |
Douglas Walton |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Synthetic Differential Geometry (Second Edition) |
Anders Kock |
John L Bell |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Parameterized Complexity Theory |
J Flum |
Thomas Schwentick |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
Lev D Beklemishev |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Modern Algebra and the Rise of Mathematical Structures |
Leo Corry |
Thomas Drucker |
The Bulletin of Symbolic Logic |
2007-03-01 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
James H Andrews |
The Bulletin of Symbolic Logic |
2007-03-01 |
| Identity of Proofs (Acta Universitatis Stockholmiensis) |
Filip Widerbäck |
Sergei Soloviev |
The Bulletin of Symbolic Logic |
2007-03-01 |
| Reverse Mathematics |
Stephen G Simpson |
Ulrich Berger |
The Bulletin of Symbolic Logic |
2007-03-01 |
| Mainstream and Formal Epistemology |
Vincent F Hendricks |
Paul Égré |
The Bulletin of Symbolic Logic |
2007-03-01 |
| Thought and Logic: The Debates between German-Speaking Philosophers and Symbolic Logicians at the Turn of the Twentieth Century |
Jarmo Pulkkinen |
Nicholas Griffin |
Philosophy in Review |
2007-01-01 |
| From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides, Vol. 48) |
Laura Crosilla |
Jaap Van Oosten |
The Bulletin of Symbolic Logic |
2006-12-01 |
| The Notre Dame Lectures (Lecture Notes in Logic, Vol. 18) |
Peter Cholak |
Roman Kossak |
The Bulletin of Symbolic Logic |
2006-12-01 |
