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: The Philosophy of Symbolic Forms, Volume 1: Language / Edition 1, Author: Ernst Cassirer
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: Hegel's Foundation Free Metaphysics: The Logic of Singularity / Edition 1, Author: Gregory S. Moss
Title: Dao Companion to Chinese Philosophy of Logic, Author: Yiu-ming Fung
Title: Complexity and Randomness in Group Theory: GAGTA BOOK 1 / Edition 1, Author: Frédérique Bassino
Title: The Prehistory of Mathematical Structuralism, Author: Erich H. Reck
Title: Explanation, Laws, and Causation / Edition 1, Author: Wei Wang
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: 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 Logic of Social Practices, Author: Raffaela Giovagnoli
Title: Fictionalism in Philosophy, Author: Bradley Armour-Garb
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: Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory, Author: Peter M. Schuster
Title: Graham Priest on Dialetheism and Paraconsistency, Author: Can Baskent

Pagination Links