Harvey Friedman's Research on the Foundations of Mathematics
L.A. Harrington
Download Now
Format: eBook (PDF)
Computability Theory : An Introduction to Recursion Theory
Herbert B. Enderton
Download Now
Format: eBook (EPUB)
The Price of Cake : And 99 Other Classic Mathematical Riddles
Clement Deslandes
Download Now
Format: eBook (PDF)
Logica Universalis : Towards a General Theory of Logic
Jean-Yves Beziau
Download Now
Format: eBook (PDF)
Applying Soft Computing in Defining Spatial Relations
Pascal Matsakis
Download Now
Format: eBook (PDF)
The Mathematical Works of Lewis Carroll : Symbolic Logic, The Game of Logic & Feeding the Mind
Lewis Carroll
Download Now
Format: eBook (EPUB)
Understanding Mathematical Logic and its Applications
Brenden Swafford
Download Now
Format: eBook (PDF)
Non solo calcoli : Domande e risposte sui perche della matematica
Vinicio Villani
Download Now
Format: eBook (PDF)
Wittgenstein's On Certainty: Insight and Method
Robert Greenleaf Brice
Download Now
Format: eBook (EPUB)
Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
Joao F. Ferreira
Download Now
Format: eBook (EPUB)
Runtime Verification : A Hands-On Approach in Java
Christian Colombo
Download Now
Format: eBook (PDF)
Inquisitive Logic : Consequence and Inference in the Realm of Questions
Ivano Ciardelli
Download Now
Format: eBook (EPUB)
Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques
Alberto Pettorossi
Download Now
Format: eBook (PDF)