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: Alfonso's Rectifying the Curved: ?A Fourteenth-Century Hebrew Geometrical-Philosophical Treatise, Author: Ruth Glasner
Title: A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability (AMS-206), 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 (AMS-206), 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: Prime-Detecting Sieves (LMS-33), Author: Glyn Harman
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: The Logic of Social Practices, Author: Raffaela Giovagnoli
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: Research in History and Philosophy of Mathematics: The CSHPM 2018 Volume, Author: Maria Zack
Title: Graham Priest on Dialetheism and Paraconsistency, Author: Can Baskent
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: Combinatorial Set Theory of C*-algebras, Author: Ilijas Farah
Title: Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings, Author: Sergei Artemov
Title: The Logical Foundations of Scientific Theories: Languages, Structures, and Models / Edition 1, Author: Decio Krause

Pagination Links