| Mathematical Intuitionism |
Carl J. Posy |
B. Bentzen |
2026-03-19 |
| The Logic of Entailment and its History |
Edwin Mares |
Francesco Paoli |
2025-10-01 |
| Logic-Language-Ontology, Selected Works |
Urszula B. Wybraniec-Skardowska |
Harrie Swart |
2025-10-01 |
| Fragments of First-Order Logic |
Ian Pratt-Hartmann |
Frank Wolter |
2025-06-26 |
| Fraenkel. Mengen bilden |
Matthias Wille |
Christian Thiel |
2025-06-23 |
| Logic and Information |
Edwin Mares |
Marcin Czakon |
2025-06-17 |
| Investigations into the Predicate Calculus |
Oiva Ketonen |
Bartosz Więckowski |
2025-06-01 |
| Wittgenstein's Philosophy of Mathematics |
Juliet Floyd |
Pedro Barbalho |
2025-05-26 |
| Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts |
Stefania Centrone |
Matteo De Ceglie |
2025-02-01 |
| Hyperintensionality and Fine grained Semantics. Logic in High Definition: Trends in Logical Semantics |
Alessandro Giordani |
Aleksander Parol |
2023-12-01 |
| Logics of Variable Inclusion |
Stefano Bonzio |
Nicolò Zamperlin |
2023-06-01 |
| Proof and Falsity: A Logical Investigation |
Nils Kürbis |
Ivo Pezlar |
2023-04-01 |
| Dynamics, Uncertainty and Reasoning |
Beishui Liao |
Zhe Yu |
2023-02-01 |
| Graham Priest on Dialetheism and Paraconsistency |
Can Başkent |
Bożena Czernecka-Rej |
2022-04-01 |
| Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic |
Fenrong Liu |
Piotr Kulicki |
2022-02 |
| Metamereology |
Andrzej Pietruszczak |
Grzegorz Sitek |
2021-12 |
| Heyting Algebras: Duality Theory |
Leo Esakia |
Hilary A. Priestley |
2021-10-01 |
| Foundations of the Theory of Parthood: A Study of Mereology |
Andrzej Pietruszczak |
Marcin Tkaczyk |
2021-06 |
| Ewa Orłowska on Relational Methods in Logic and Computer Science |
Joanna Golińska-Pilarek |
Ingrid Rewitzky |
2021-04-01 |
| The Epistemic Lightness of Truth: Deflationism and its Logic |
Cezary Cieśliński |
Jeffrey Ketland |
2020-02 |
| A Beginner's Further Guide to Mathematical Logic |
Raymond Smullyan |
Morten Heine Sørensen |
2019-10-01 |
| Temporal Logics in Computer Science — Finite-State Systems |
S. Demri |
Sophie Pinchinat |
2019-10-01 |
| Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics |
Enrico Martino |
Peter Fletcher |
2019-08-15 |
| The Concept of Relevance and the Logic Diagram Tradition |
Jan Dejnožka |
Francesco Bellucci |
2019-08-15 |
| Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics |
Jan von Plato |
Adrian Rezuş |
2019-06-15 |
| Logical Studies of Paraconsistent Reasoning in Science and Mathematics |
Holger Andreas |
Graham Priest |
2018-12-01 |
| Lectures on Infinitary Model Theory |
David Marker |
Dag Normann |
2018-12-01 |
| Unity and Plurality: Logic, Philosophy, and Linguistics |
Massimiliano Carrara |
Giorgio Lando |
2018-07-06 |
| Logic and Discrete Mathematics: A Concise Introduction |
Willem Conradie |
Torben Braüner |
2018-06-01 |
| Set Theory: Exploring Independence and Truth |
Ralf Schindler |
Vincenzo Dimonte |
2018-04-01 |
| Elements of Logical Reasoning |
Jan Von Plato |
Andreas Nakkerud |
2018-02-01 |
| Structural proof theory |
Sara Negri |
Roger Antonsen |
2018-02 |
| Quantifiers and Cognition: Logical and Computational Perspectives |
Jakub Szymanik |
Heming Strømholt Bremnes |
2017-10-01 |
| Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles |
Denis R Hirschfeldt |
Benedict Eastaugh |
2017-08-01 |
| Subsystems of Second Order Arithmetic |
Stephen G. Simpson |
Benedict Eastaugh |
2017-08 |
| David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 |
Constance Reid |
Errol Martin |
2017-06-01 |
| Proof Theory of N4-related Paraconsistent Logics |
Norihiro Kamide |
Yaroslav Shramko |
2017-06-01 |
| Reactive Kripke Semantics |
Dov Gabbay |
Valentin Goranko |
2017-04-01 |
| Treatise on Consequences |
Jean Buridan |
Sara L. Uckelman |
2016-12 |
| Modal Logic for Philosophers, Second Edition |
James W Garson |
Lloyd Humberstone |
2016-04-01 |
| A Mathematical Prelude to the Philosophy of Mathematics |
Stephen Pollard |
John Stillwell |
2016-02 |
| Basic Laws of Arithmetic |
Gottlob Frege |
Kevin C. Klement |
2016-02 |
| Lambda Calculus With Types |
Henk Barendregt |
Adrian Rezus |
2015-12 |
| Plural Logic |
Alex Oliver |
Casper Storm Hansen |
2015-10 |
| The Interactive Stance: Meaning in Conversation |
Jonathan Ginzburg |
Luciana Benotti |
2015-08 |
| Methods of Cut-Elimination |
Matthias Baaz |
Sam Buss |
2015-06 |
| The Functional Interpretation of Logical Deduction |
Ruy J G B De Queiroz |
Adrian Rezus |
2015-04 |
| Changes of Mind: An Essay on Rational Belief Revision |
Neil Tennant |
Nina Gierasimczuk |
2015-02 |
| Logic: The Laws of Truth |
Nicholas J.J. Smith |
David Makinson |
2015-02 |
| Concepts and Fuzzy Logic |
Radim Belohlavek |
Igor Douven |
2014-10-01 |
