| A Logical Foundation for Potentialist Set Theory |
Sharon Berry |
Matteo de Ceglie |
2026-04-27 |
| Computability and Complexity. The MIT Press |
Hubie Chen |
Bjørn Kjos-Hanssen |
2026-03-26 |
| Handbook of Computability and Complexity in Analysis |
Vasco Brattka |
Diego A. Rojas |
2025-12-00 |
| Modern Mathematical Logic |
Joseph Mileti |
Henry Towsner |
2025-09-00 |
| Introduction to Proofs and Proof Strategies |
Shay Fuchs |
Wesley Calvert |
2025-06-00 |
| The Logic of Entailment and its History |
Edwin Mares |
Tore Fjetland Øgaard |
2024-09-00 |
| Fragmenting Reality: An Essay on Passage, Causality and Time |
Samuele Iaquinto |
Lorenzo Azzano |
2024-09-00 |
| Complexity of Infinite-Domain Constraint Satisfaction. Lecture Notes in Logic, vol. 52 |
Manuel Bodirsky |
Andrei Krokhin |
2024-09-00 |
| An Invitation to Model Theory |
Johnathan Kirby |
A. Martin-pizarro |
2024-09-00 |
| Mathematics and Explanation. Elements in the Philosophy of Mathematics |
Christopher Pincock |
Daniele Molinini |
2024-06-00 |
| Reverse Mathematics: Problems, Reductions, and Proofs |
D. D. Dzhafarov |
Chris J. Conidis |
2023-12-00 |
| Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook |
Bruce M. Kapron |
Pavel Pudlák |
2023-12-00 |
| Philosophical Logic. A Contemporary Introduction |
John MacFarlane |
Bruno Bentzen |
2023-09-00 |
| Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170 |
Jan Krajicek |
Moritz Müller |
2023-06-00 |
| Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy |
Katie Steele |
Magdalen Elmitt |
2023-06-00 |
| Philosophy and Model Theory |
T. Button |
Andrew Arana |
2020-09-00 |
| Proof-Theoretic Semantics |
N. Francez |
Davide Catta |
2019-09-00 |
| Reverse Mathematics: Proofs from the Inside Out |
J. Stillwell |
Jeffry L. Hirst |
2018-06-00 |
| Philosophy of Mathematics |
James Robert Brown |
Janet Folina |
2018-06-00 |
| Ontology without Borders |
J. Azzouni |
Nathaniel Gan |
2018-06-00 |
| Descriptive Complexity, Canonisation, and Definable Graph Structure Theory Grohe M |
M. Grohe |
Luc Segoufin |
2017-12-00 |
| Temporal Logics in Computer Science — Finite-State Systems |
Stéphane Demri |
Kamal Lodaya |
2017-06-00 |
| Turing Computability |
Robert I. Soare |
Damir D. Dzhafarov |
2017-03-00 |
| O-Minimality and Diophantine Geometry |
G. O. Jones |
Antoine Chambert-Loir |
2017-03-00 |
| Unity and Plurality: Logic, Philosophy, and Linguistics M. Carrara A. Arapinis F. Moltmann |
M. Carrara |
Eric Snyder |
2016-12-00 |
| Gentzen's Centenary: The Quest for Consistency Reinhard Kahle Michael Rathjen |
Reinhard Kahle |
Henry Towsner |
2016-12-00 |
| The Once and Future Turing: Computing the World S. Barry Cooper Andrew Hodges |
S. Barry Cooper |
Alasdair Urquhart |
2016-09-00 |
| Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34 |
Kenneth Kunen |
David Milovich |
2016-09-00 |
| Introduction to Sofic and Hyperlinear Groups and Connes' Embedding Conjecture, Lecture Notes in Mathematics, vol. 2136 Valerio Capraro Martino Lupini |
Valerio Capraro |
Lewis Bowen |
2016-09-00 |
| Canonical Ramsey Theory on Polish Spaces |
Vladimir Kanovei |
Clinton T. Conley |
2016-09-00 |
| The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19 |
Kenneth Kunen |
Steffen Lempp |
2016-06-00 |
| The Collected Papers of Bertrand Russell, Volume 5: Toward "Principia Mathematica" |
Gregory H. Moore |
Edwin Mares |
2016-06-00 |
| Simplicity Theory |
Byunghan Kim |
Martin Hils |
2016-06-00 |
| Proof Theory: Sequent Calculi and Related Formalisms |
Katalin Bimbó |
Thomas Strahm |
2016-06-00 |
| Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28 |
Denis R. Hirschfeldt |
Jeffry L. Hirst |
2015-09-00 |
| A Course in Model Theory. Lecture Notes in Logic, vol. 40 K. Tent M. Ziegler |
K. Tent |
Bradd Hart |
2015-09-00 |
| Logic in Games Johan van Benthem |
Johan Van Bentham |
Sebastian Sequoiah-Grayson |
2014-12-00 |
| Dense Sphere Packings: A Blueprint for Formal Proofs |
Thomas Hales |
Jeremy Avigad |
2014-12-00 |
| Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy (no vol. number) |
Ulrich Pardey |
Bernd Buldt |
2014-09-00 |
| David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 William Ewald Wilfried Sieg |
William Ewald |
Jan Von Plato |
2014-09-00 |
| Logic: The Laws of Truth |
Nicholas J. J. Smith |
Jennifer Duke-Yonge |
2014-06-00 |
| Normenlogik. Grundlagen-Systeme-Anwendungen |
Edgar Morscher |
Stefania Centrone |
2014-03-00 |
| Lecture Note Series of the London Mathematical Society, vol. 406 James Cummings Ernest Schimmerling |
James Cummings |
Natasha Dobrinen |
2014-03-00 |
| Defending the Axioms: On the Philosophical Foundations of Set Theory |
Penelope Maddy |
Juliette Kennedy |
2014-03-00 |
| Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, vol. 37 A. S. Kechris B. Löwe J. R. Steel |
A. S. Kechris |
Grigor Sargsyan |
2013-12-00 |
| Ernst Zermelo: Collected Works. Gesammelte Werke. Volume I: Set Theory, Miscellania. Mengenlehre, Varia H.-D. Ebbinghaus A. Kanamori |
H.-d. Ebbinghaus |
Volker Peckhaus |
2013-12-00 |
| Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138 Bruno Courcelle Joost Engelfriet |
Bruno Courcelle |
Achim Blumensath |
2013-09-00 |
| An Introduction to the Philosophy of Mathematics |
Mark Colyvan |
Richard Pettigrew |
2013-09-00 |
| A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 |
Uri Andrews |
Alexander G. Melnikov |
2013-09-00 |
| Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II Raf Cluckers Johannes Nicaise Julien Sebag |
Raf Cluckers |
Julia Gordon |
2013-06-00 |
