| year of publication | ISBN | author(s) | title |
|---|
| 2010 | 978-1-84890-007-3 | Olga Pombo · Alexander Gerner | Studies in Diagrammatology and Diagram Praxis (Studies in Logic) |
| '' | 978-1-84890-016-5 | Pierre Edouard Bour · Manuel Rebuschi · Laurent Rollet | Construction. Festschrift for Gerhard Heinzmann (Tributes) |
| 2013 | 978-1-84890-021-9 | F. Oliveira-Pinto | An Introduction to Discrete Dynamical Systems and their General Solutions (Applied Mathematics) |
| 2010 | 978-1-84890-022-6 | Chris Mortensen | Inconsistent Geometry (Studies in Logic) |
| 2011 | 978-1-84890-033-2 | Claus Peter Wirth · Joerg Siekmann · Michael Gabbay | Foundations of Mathematics I |
| '' | 978-1-84890-050-9 | Kenneth Kunen | Set Theory (Studies in Logic: Mathematical Logic and Foundations) |
| 2012 | 978-1-84890-060-8 | Craig Smorynski | Adventures in Formalism (Texts in Mathematics) |
| '' | 978-1-84890-066-0 | Henk Barendregt | The Lambda Calculus. Its Syntax and Semantics (Studies in Logic) |
| 2013 | 978-1-84890-099-8 | Claire Ortiz Hill · Jairo Jose Da Silva | The Road Not Taken. on Husserl's Philosophy of Logic and Mathematics (Philosophy (or Texts in Philosophy)) |
| 2014 | 978-1-84890-125-4 | Joao Pavao Martins | Logica E Raciocinio |
| '' | 978-1-84890-140-7 | John L. Bell | Intuitionistic Set Theory (Studies in Logic) |
| 2019 | 978-1-84890-168-1 | Roman Kuznets · Thomas Studer | Logics of Proofs and Justifications |
| 2017 | 978-1-84890-218-3 | Floris Bex · Floriana Grasso · Nancy Green | Argument Technologies: Theory, Analysis, and Applications |
| 2017 | 978-1-84890-242-8 | Edward Fullbrook · Jamie Morgan | Trumponomics: Causes and Consequences |
| 2018 | 978-1-84890-244-2 | John Grant · Maria Vanina Martinez | Measuring Inconsistency in Information |
| '' | 978-1-84890-246-6 | John Woods | Ifcolog Journal of Logics and their Applications Volume 4, number 11. Dedicated to the Memory of Dale Jacquette |
| '' | 978-1-84890-255-8 | Guran Bezhanishvili · Giovanna D'Agostino · George Metcalfe | Advances in Modal Logic, Volume 12 |
| 2017 | 978-1-84890-256-5 | Oleg Prosorov | Proceedings of the International Conference Philosophy, Mathematics, Linguistics: Aspects of Interaction, 2012 (PhML-2012): Euler International Mathematical Institute St Petersburg, May 22-25, 2012 |
| 2018 | 978-1-84890-257-2 | Manuel A Dahlquist | Una introducción a la teoría lógica de la Edad Media |
| 2017 | 978-1-84890-258-9 | Philip Calabrese | Logic and Conditional Probability: A Synthesis |
| 2018 | 978-1-84890-259-6 | Mohammad Shafiei | Meaning and Intentionality. A Dialogical Approach |
| 2017 | 978-1-84890-262-6 | Dirk van Dalen | Logica e Estrutura |
| '' | 978-1-84890-263-3 | Paolo Mancosu | Filosofia Lógica e Matemática: Conferências no Brasil |
| '' | 978-1-84890-265-7 | Gabriella Pigozzi · Leendert van der Torre | Ifcolog Journal of Logics and their Applications Volume 4, number 9. Logic for Normative Multi-Agent Systems |
| 2018 | 978-1-84890-266-4 | Odysseus Makridis | Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic |
| 2018 | 978-1-84890-267-1 | Odysseus Makridis | Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic |
| '' | 978-1-84890-268-8 | Matthias Baaz | Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic |
| '' | 978-1-84890-269-5 | Xavier Parent · Leendert van der Torre | Introduction to Deontic Logic and Normative Systems |
| '' | 978-1-84890-270-1 | Arnon Avron · Ofer Arieli · Anna Zamansky | Theory of Effective Propositional Paraconsistent Logics |
| '' | 978-1-84890-271-8 | Christian Plantin | Dictionary of Argumentation: A Introduction to Argumentation Studies |
| 2018 | 978-1-84890-275-6 | Pietro Baroni · Dov Gabbay · Massimilino Giacomin | Handbook of Formal Argumentation |
| '' | 978-1-84890-276-3 | Atif Mashkoor · Qing Wang · Bernhard Thalheim | Models: Concepts, Theory, Logic, Reasoning and Semantics: Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday |
| '' | 978-1-84890-277-0 | Serena Villatta | Journal of Applied Logics - IfCoLog Journal: Volume, number 2, April 2018: Special Issue: Normative Multi-Agent Systems |
| '' | 978-1-84890-278-7 | Jan Broersen · Cleo Condoravdi · Shyam Nair | Deontic Logic and Normative Systems: 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-8 July 2018 |
| '' | 978-1-84890-280-0 | Luis M Augusto | Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic |
| 2018 | 978-1-84890-281-7 | Pavel Arazim · Tomas Lavicka | The Logica Yearbook 2017 |
| '' | 978-1-84890-283-1 | Steve Oswald · Didier Maillat | Argumentation and Inference I: Proceedings of the 2nd European Conference on Argumentation |
| '' | 978-1-84890-284-8 | Steve Oswald · Dider Maillat | Argumentation and Inference. Volume II: Proceedings of the 2nd European Conference on Argumentation |
| '' | 978-1-84890-286-2 | Woosuk Park · John Woods | Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 5, number 5. Special issue: Logical Foundations of Strategic Reasoning |
| '' | 978-1-84890-287-9 | Erich H Reck | Logic, Philosophy of Mathematics, and their History: Essays in Honor of W. W. Tait |
| 2018 | 978-1-84890-288-6 | Michael Gabbay · Prokop Sousedik · David Svoboda | Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 5, number 6. Special Issue: The Emergence of Structuralism and Formalism: September 2018 |
| '' | 978-1-84890-290-9 | Ricardo Sousa Silvestre · Jean-Yves Beziau | Journal of Applied Logics-IfCoLog Journal of Logics and their Applications. Volume 5, number 7. Special issue: Formal Approaches to the Ontological Argument: October 2018 |
| '' | 978-1-84890-291-6 | Dov Gabbay | Journal of Applied Logics - IfCoLog Journal: Volume 5, number 8, November 2018 |
| '' | 978-1-84890-292-3 | Carlos I Chesnevar · Marcelo A Falappa · Eduardo Ferme · Alejandro J. García · Ana G. Maguitman · Diego C. Martínez · Maria Vanina Martinez · Ricardo O. Rodríguez | Argumentation-based Proofs of Endearment: Essays in Honor of Guillermo R. Simari on the Occasion of his 70th Birthday |
| '' | 978-1-84890-293-0 | Max A Freund · Max Fernandez de Castro · Marco Ruffino | Logic and Philosophy of Logic: Recent Trends in Latin America and Spain |
| 2018 | 978-1-84890-294-7 | Martin Lukac · Robert Wille | Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 5, number 9, December 2018. Special issue: Current Trends in Multiple Valued Logic Design |
| '' | 978-1-84890-296-1 | Amilcar Sernadas · Cristina Sernadas · João Rasga · Jaime Ramos | A Mathematical Primer on Computability |
| '' | 978-1-84890-297-8 | Jean-Yves Beziau · Francicleber Ferreira · Ana Teresa Martins | Logic, Intelligence and Artifices: Tributes to Tarcisio H. C. Pequeno |
| 2019 | 978-1-84890-298-5 | Luca M. Possati | Games Iteration Numbers: A Philosophical Introduction to Computability Theory (Studies in Logic) |
| '' | 978-1-84890-303-6 | David Billington | Factual and Plausible Reasoning |
| '' | 978-1-84890-304-3 | Simone Sulpizio · Laura Barca · Silvia Primativo | Word Recognition, Morphology and Lexical Reading: Essays in Honour of Cristina Burani |
| 2019 | 978-1-84890-307-4 | Igor Sedlar · Martin Blicha | The Logica Yearbook 2018 |
| '' | 978-1-84890-312-8 | Matthieu Gallais | Modèles scientifiques et objets théoriques: Essai d'épistémologie modale |
| '' | 978-1-84890-313-5 | Jean-Yves Beziau | The Arbitrariness of the Sign in Question: Proceedings of a CLG 100 Workshop. Geneva, January 10-12, 2017 (LS) |