Title: Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings, Author: Fabrice Kordon
Title: Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings, Author: Mauricio Ayala-Rincón
Title: The Art of Reasoning: An Introduction to Logic / Edition 5, Author: David Kelley
Title: Alfonso's Rectifying the Curved: ?A Fourteenth-Century Hebrew Geometrical-Philosophical Treatise, Author: Ruth Glasner
Title: Logic, Language, and Mathematics: Themes from the Philosophy of Crispin Wright, Author: Alexander Miller
Title: Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism, Author: Jared Warren
Title: Complexity and Randomness in Group Theory: GAGTA BOOK 1 / Edition 1, Author: Frédérique Bassino
Title: Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Author: Jean Goubault-Larrecq
Title: Empty And The Full, The: Li Ye And The Way Of Mathematics - Geometrical Procedures By Section Of Areas, Author: Charlotte-v Pollet
Title: Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, Author: Fenrong Liu
Title: Sophie Germain: Revolutionary Mathematician / Edition 2, Author: Dora Musielak
Title: Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings, Author: Uli Fahrenberg
Title: Hegel on Possibility: Dialectics, Contradiction, and Modality, Author: Nahum Brown
Title: Knowledge and the Philosophy of Number: What Numbers are and How they Are Known, Author: Keith  Hossack
Title: Elementary Theory of Groups and Group Rings, and Related Topics: Proceedings of the Conference held at Fairfield University and at the Graduate Center, CUNY, November 1-2, 2018 / Edition 1, Author: Paul Baginski
Title: The Logical Must: Wittgenstein on Logic, Author: Penelope Maddy
Title: Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings, Author: Andreas Herzig
Title: Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shirazi's Insights into the Dialectical Constitution of Meaning and Knowledge, Author: Shahid Rahman
Title: Diagonalization in Formal Mathematics, Author: Paulo Guilherme Santos
Title: Research in History and Philosophy of Mathematics: The CSHPM 2018 Volume, Author: Maria Zack

Pagination Links