| Foundational theories of classical and constructive mathematics |
Giovanni Sommaruga |
Roy T. Cook |
2012-03-00 |
| Autostability and computable families of constructivizations. Algebra and Logic, vol. 14(1975), no.6 |
S. S. Goncharov |
Daniel Turetsky |
2012-03-00 |
| Algorithmic randomness and complexity. Theory and Applications of Computability Rodney G. Downey Denis R. Hirschfeldt |
Rodney G. Downey |
Laurent Bienvenu |
2012-03-00 |
| The evolution of logic |
W. D. Hart |
Kenny Easwaran |
2011-12-00 |
| I[ω₂] can be the nonstationary ideal on Cof(ω₁). Transactions of the American Mathematical Society, vol. 361 |
William J. Mitchell |
Martin Zeman |
2011-12-00 |
| Anti-psychologism about necessity: Friedrich Albert Lange on objective inference. History and Philosophy of Logic, vol. 32 |
Lydia Patton |
Matthias Wille |
2011-12-00 |
| Logical foundations of proof complexity Stephen Cook Phuong Nguyen |
Stephen Cook |
Albert Atserias |
2011-09-00 |
| All automorphisms of the Calkin algebra are inner. Annals of Mathematics |
Ilijas Farah |
Ernest Schimmerling |
2011-09-00 |
| A framework for priority arguments |
Manuel Lerman |
George Barmpalias |
2011-09-00 |
| Mathematics and reality |
Mary Leng |
Juha Saatsi |
2011-06-00 |
| Logic and mathematics in the seventeenth century. History and Philosophy of Logic, vol. 31 |
Massimo Mugnai |
Matthias Wille |
2011-06-00 |
| Invariant descriptive set theory. Pure and applied mathematics |
Su Gao |
Samuel Coskey |
2011-06-00 |
| Introduction to Ramsey spaces. Annals of Mathematics Studies, vol. 174 |
Stevo Todorcevic |
Claude Laflamme |
2011-06-00 |
| Walks on ordinals and their characteristics. Progress in Mathematics, vol. 263 |
Stevo Todorcevic |
Justin Tatch Moore |
2011-03-00 |
| The autonomy of mathematical knowledge: Hilbert's program revisited |
Curtis Franks |
Juliette Kennedy |
2011-03-00 |
| Kurt Gödel. Essays for his centennial Solomon Feferman Charles Parsons Stephen G. Simpson |
Solomon Feferman |
Matthias Wille |
2011-03-00 |
| Elements of automata theory |
Jacques Sakarovitch |
Jean-éric Pin |
2011-03-00 |
| Begriff und Gegenstand: Eine historische und systematische Studie zur Entwicklung von Gottlob Freges Denken |
Wolfgang Kienzler |
Matthias Wille |
2010-12-01 |
| Vagueness and Degrees of Truth |
Nicholas J J Smith |
Dominic Hyde |
2010-12-01 |
| Vagueness, Logic and Ontology |
Dominic Hyde |
Nicholas J J Smith |
2010-12-01 |
| The search for diamonds |
Saharon Shelah |
Assaf Rinot |
2010-09-00 |
| Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 |
S. Feferman |
Graham E. Leigh |
2010-09-00 |
| Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17. |
Christoph Benzmüller |
Florian Rabe |
2010-09-00 |
| Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152 |
Jaap Van Oosten |
Peter T. Johnstone |
2010-09-00 |
| Proof theory for fuzzy logics. Applied Logic Series, vol. 36 |
G. Metcalfe |
Bartosz Wieckowski |
2010-09-00 |
| Philosophical logic |
J Michael Dunn |
Janusz Czelakowski |
2010-09-00 |
| On translating Frege's die Grundlagen der Arithmetik. History and Philosophy of Logic, vol. 31 |
Matthias Schirn |
Matthias Wille |
2010-09-00 |
| Logicomix |
Apostolos Doxiadis |
Paolo Mancosu |
2010-09-00 |
| Finite model theory and its applications. Texts in Theoretical Computer Science |
E. Grädel |
Stephan Kreutzer |
2010-09-00 |
| Classification and orbit equivalence relations. Mathematical Surveys and Monographs, vol. 75 |
Greg Hjorth |
Howard Becker |
2010-09-00 |
| An introduction to decision theory |
Martin Peterson |
Steven Robertson |
2010-09-00 |
| Zur Miete bei Frege—Rudolf Hirzel und die Rezeption der stoischen Logik und Semantik in Jena. History and Philosophy of Logic, vol. 30 Gottfried Gabriel Karlheinz Huelser Sven Schlotter |
Gottfried Gabriel |
Matthias Wille |
2010-06-00 |
| The space and motion of communicating agents |
Robin Milner |
Thomas Hildebrandt |
2010-06-00 |
| Spandrels of truth |
Jc Beall |
Zach Weber |
2010-06-00 |
| Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188 Katalin Bimbó J. Michael Dunn |
Katalin Bimbó |
Alasdair Urquhart |
2010-06-00 |
| Modal logic. An introduction to its syntax and semantics Nino B. Cocchiarella Max A. Freund |
Nino B. Cocchiarella |
Heinrich Wansing |
2010-06-00 |
| Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33 Eckart Menzler-Trott Craig Smoryński Edward Griffor |
Eckart Menzler-Trott |
W. W. Tait |
2010-06-00 |
| Introduction to Boolean algebras. Undergraduate Texts in Mathematics Steven Givant Paul Halmos |
Steven Givant |
Natasha Dobrinen |
2010-06-00 |
| Handbook of practical logic and automated reasoning |
John Harrison |
Alwen Tiu |
2010-06-00 |
| Forcing idealized. Cambridge Tracts in Mathematics, vol. 174 |
J. Zapletal |
Mirna Dzamonja |
2010-06-00 |
| Logik und Logiker in der DDR. Eine Wissenschaft im Aufbruch |
Lothar Kreiser |
Matthias Wille |
2010-03-00 |
| Computability and Randomness |
André Nies |
Anthony Morphett |
2010-03-00 |
| The Princeton Companion to Mathematics Timothy Gowers June Barrow-Green Imre Leader |
Timothy Gowers |
Juliette Kennedy |
2009-12-00 |
| The Cambridge Companion to Carnap Michael Friedman Richard Creath |
Michael Friedman |
James Justus |
2009-12-00 |
| Die Logik der Unbestimmtheiten und Paradoxien |
Ulrich Blau |
Ralf Schindler |
2009-12-00 |
| Tool and Object: A History and Philosophy of Category Theory |
Steve Awodey |
Jirí Rosický |
2009-09-00 |
| Set Mapping Reflection. Journal of Mathematical Logic |
J. T. Moore |
Matteo Viale |
2009-09-00 |
| The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications |
Richard Kaye |
Rafal Urbaniak |
2009-06-00 |
| Quintessence: Basic Readings from the Philosophy of W. V. Quine |
Roger F Gibson Jr |
Alex Orenstein |
2009-06-00 |
| Peano Models with Many Generic Classes |
James H. Schmerl |
Roman Kossak |
2009-06-00 |
