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: Essay on Machines in General (1786): Text, Translations and Commentaries. Lazare Carnot's Mechanics - Volume 1, Author: Raffaele Pisano
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: Philosophie der Mathematik in der Antike und in der Neuzeit, Author: Ulrich Felgner
Title: Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism, Author: Jared Warren
Title: A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability, Author: Rod Downey
Title: A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability, Author: Rod Downey
Title: Dao Companion to Chinese Philosophy of Logic, Author: Yiu-ming Fung
Title: Language, Logic, and Mathematics in Schopenhauer, Author: Jens Lemanski
Title: Complexity and Randomness in Group Theory: GAGTA BOOK 1 / Edition 1, Author: Frédérique Bassino
Title: Prime-Detecting Sieves (LMS-33), Author: Glyn Harman
Title: Kohärenz und Wahrscheinlichkeit: Eine Untersuchung probabilistischer Kohärenzmodelle / Edition 1, Author: Michael Schippers
Title: Empty And The Full, The: Li Ye And The Way Of Mathematics - Geometrical Procedures By Section Of Areas, Author: Charlotte-v Pollet
Title: Sophie Germain: Revolutionary Mathematician / Edition 2, Author: Dora Musielak
Title: Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic, Author: Fenrong Liu
Title: Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings, Author: Uli Fahrenberg
Title: Mathematische Modelle des Kontinuums, Author: Ernst Kleinert
Title: Knowledge and the Philosophy of Number: What Numbers are and How they Are Known, Author: Keith  Hossack

Pagination Links