Title: Models of Strategic Reasoning: Logics, Games, and Communities, Author: Johan van Benthem
Title: The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics, Author: John L. Bell
Title: Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers, Author: Jesse Davis
Title: Nine Chapters on Mathematical Modernity: Essays on the Global Historical Entanglements of the Science of Numbers in China, Author: Andrea Bréard
Title: Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures, Author: James Robert Brown
Title: Wittgenstein's Metametaphysics and the Realism-Idealism Debate, Author: Marius Bartmann
Title: Referential Opacity and Modal Logic, Author: Dagfinn Follesdal
Title: Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications, Author: Yves Nievergelt
Title: Language, Logic, and Mathematics in Schopenhauer, Author: Jens Lemanski
Title: Classical Mathematical Logic: The Semantic Foundations of Logic, Author: Richard L. Epstein
Title: Fifty Years of Women in Mathematics: Reminiscences, History, and Visions for the Future of AWM, Author: Janet L. Beery
Title: Sophie Germain: Revolutionary Mathematician, Author: Dora Musielak
Title: Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings, Author: Annie Foret
Title: Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Author: Jean-Yves Béziau
Title: The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives, Author: Calixto Badesa
Title: Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi, Author: Andrzej Indrzejczak
Title: Simple Formal Logic: With Common-Sense Symbolic Techniques, Author: Arnold vander Nat
Title: Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings, Author: Alexander Raschke
Title: Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings, Author: Uli Fahrenberg
Title: Thinking and Calculating: Essays in Logic, Its History and Its Philosophical Applications in Honour of Massimo Mugnai, Author: Francesco Ademollo

Pagination Links