| An Introduction to Gödel's Theorems |
Peter Smith |
Arnon Avron |
2009-06-00 |
| A Compact Group Which Is Not Valdivia Compact W. Kubiś V. Uspenskij |
Grzegorz Plebanek |
Mirna Džamonja |
2009-06-00 |
| Die Mathematik und das synthetische Apriori. Erkenntnistheoretische Untersuchungen über den Geltungsstatus mathematischer Axiome |
Matthias Wille |
Mark Van Atten |
2009-03-00 |
| From Peirce to Skolem. A Neglected Chapter in the History of Logic |
Geraldine Brady |
John Corcoran |
2008-12-00 |
| An Introduction to Non-Classical Logic: From If to Is |
Graham Priest |
Petr Hájek |
2008-12-00 |
| Absolute Generality Agustín Rayo Gabriel Uzquiano |
Agustín Rayo |
Peter Smith |
2008-09-00 |
| Johann Heinrich Lambert: Philosophische Schriften, Vol. VIII: Kleinere philosophische Abhandlungen und Rezensionen |
Johann Heinrich Lambert |
Volker Peckhaus |
2008-06-01 |
| The Continuum |
Rudolf Taschner |
Robert Lubarsky |
2008-06-00 |
| Proof-Net Categories Kosta Došen Zoran Petrić |
Kosta Dosen |
Lutz Strassburger |
2008-06-00 |
| Philosophische Schriften. Vol. VIII: Kleinere Philosophische Abhandlungen Und Rezensionen Johann Heinrich Lambert A. Emmel A. Spree |
Johann Heinrich Lambert |
Volker Peckhaus |
2008-06-00 |
| Metaphysics, Mathematics, and Meaning |
Nathan Salmon |
Brian Van den Broek |
2008-06-00 |
| Mathematical Logic Ian Chiswell Wilfrid Hodges |
Ian Chiswell |
Robert Lubarsky |
2008-06-00 |
| Leopold Löwenheim (1878-1957) |
C. Thiel |
Volker Peckhaus |
2008-06-00 |
| Inexhaustibility: A Non-Exhaustive Treatment |
Torkel Franzén |
Lev D. Beklemishev |
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 |
2008-06-00 |
| Truth and Games: Essays in Honour of Gabriel Sandu |
Tuomo Aho Aho |
Alasdair Urquhart |
2008-03-01 |
| Towards Non-Being: The Logic and Metaphysics of Intentionality |
Graham Priest |
Thomas Hofweber |
2008-03-01 |
| Finite Structures with Few Types |
Gregory Cherlin |
Vera Koponen |
2008-03-01 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity |
Shawn Hedman |
Alasdair Urquhart |
2007-12-01 |
| Kurt Gödel: Das Album: The Album |
Karl Sigmund |
Volker Peckhaus |
2007-12-01 |
| Doubt Truth to Be a Liar |
Graham Priest |
Kevin Scharp |
2007-12-01 |
| Truth, etc.: Six Lectures on Ancient Logic |
Jonathan Barnes |
Mirja Hartimo |
2007-12-01 |
| Universal Logic |
Ross Brady |
Greg Restall |
2007-12-01 |
| Historical Dictionary of Logic |
Harry J Gensler |
Roman Murawski |
2007-09-01 |
| The Continuous and the Infinitesimal in Mathematics and Philosophy |
John L Bell |
Philip Ehrlich |
2007-09-01 |
| Nonstandard Methods and Applications in Mathematics |
Nigel J Cutland |
Alasdair Urquhart |
2007-09-01 |
| A Fascinating Country in the World of Computing -- Your Guide to Automated Reasoning |
Larry Wos |
Robert K Meyer |
2007-09-01 |
| The Architecture of Modern Mathematics: Essays in History and Philosophy |
José Ferreirós |
Torsten Wilholt |
2007-09-01 |
| Super-Recursive Algorithms |
Mark Burgin |
Martin Davis |
2007-06-01 |
| Einführung in die Unvollständigkeitstheoreme |
Sergio Galvan |
Andrea Reichenberger |
2007-06-01 |
| A Theory of Argument |
Mark Vorobej |
Douglas Walton |
2007-06-01 |
| Synthetic Differential Geometry (Second Edition) |
Anders Kock |
John L Bell |
2007-06-01 |
| Parameterized Complexity Theory |
J Flum |
Thomas Schwentick |
2007-06-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
Lev D Beklemishev |
2007-06-01 |
| Modern Algebra and the Rise of Mathematical Structures |
Leo Corry |
Thomas Drucker |
2007-03-01 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
James H Andrews |
2007-03-01 |
| Identity of Proofs (Acta Universitatis Stockholmiensis) |
Filip Widerbäck |
Sergei Soloviev |
2007-03-01 |
| Reverse Mathematics 2001 |
Stephen G Simpson |
Ulrich Berger |
2007-03-01 |
| Mainstream and Formal Epistemology |
Vincent F Hendricks |
Paul Égré |
2007-03-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 |
2006-12-01 |
| The Notre Dame Lectures (Lecture Notes in Logic, Vol. 18) |
Peter Cholak |
Roman Kossak |
2006-12-01 |
| The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise |
Mary Tiles |
M Randall Holmes |
2006-12-01 |
| Rippling: Meta-Level Guidance for Mathematical Reasoning |
Alan Bundy |
Joe Hurd |
2006-09-01 |
| David Hilbert's Lectures on the Foundations of Geometry 1891-1902 |
Michael Hallett |
Jan Von Plato |
2006-09-01 |
| Primality Testing in Polynomial Time -- From Randomized Algorithms to 'PRIMES is in P' |
Martin Dietzfelbinger |
Charles Rackoff |
2006-09-01 |
| Frege's Logic |
Danielle Macbeth |
Norma B Goethe |
2006-09-01 |
| Bridges from Classical to Nonmonotonic Logic |
David Makinson |
Hykel Hosni |
2006-09-01 |
| A Modern Perspective on Type Theory -- From Its Origins until Today |
Fairouz Kamareddine |
Marc Bezem |
2006-06-01 |
| Classical and Nonclassical Logic: An Introduction to the Mathematics of Propositions |
Eric Schechter |
Roger D Maddux |
2006-06-01 |
| Linear Logic in Computer Science |
T Ehrhard |
Andrzej S Murawski |
2006-06-01 |
