Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Tobias Nipkow
Download Now
Format: eBook (PDF)
Ernst Zermelo : An Approach to His Life and Work
Heinz-Dieter Ebbinghaus
Download Now
Format: eBook (PDF)
Formen der Anschauung : Eine Philosophie der Mathematik
Pirmin Stekeler-Weithofer
Download Now
Format: eBook (PDF)
Ezumezu : A System of Logic for African Philosophy and Studies
Jonathan O. Chimakonam
Download Now
Format: eBook (EPUB)
Structures Meres: Semantics, Mathematics, and Cognitive Science
Alberto Peruzzi
Download Now
Format: eBook (EPUB)
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi
Andrzej Indrzejczak
Download Now
Format: eBook (EPUB)
Logic, Syntax, and a Structural View : The Psychology of Trump's Hall of Mirrors
Harwood Fisher
Download Now
Format: eBook (EPUB)
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
Andrea Iacona
Download Now
Format: eBook (EPUB)
Risk Theory : Rational Decision in the Face of Chance, Uncertainty, and Risk
Nicholas Rescher
Download Now
Format: eBook (EPUB)
New Foundations for Information Theory : Logical Entropy and Shannon Entropy
David Ellerman
Download Now
Format: eBook (EPUB)
Logic, Rationality, and Interaction : 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, Proceedings
Sujata Ghosh
Download Now
Format: eBook (EPUB)
The Modal Logic of John Fabri of Valenciennes (c. 1500) : A Study in Token-Based Semantics
Christophe Geudens
Download Now
Format: eBook (EPUB)
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Laura Kovacs
Download Now
Format: eBook (EPUB)
British Versions of Book II of Euclid's Elements: Geometry, Arithmetic, Algebra (1550-1750)
Leo Corry
Download Now
Format: eBook (EPUB)
Thomas Aquinas : Contemporary Philosophical Perspectives
Brian Davies
Download Now
Format: eBook (EPUB)