Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Jacob T. Schwartz
Download Now
Format: eBook (PDF)
An Introduction to the Technique of Formative Processes in Set Theory
Domenico Cantone
Download Now
Format: eBook (PDF)
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
Domenico Cantone
Download Now
Format: eBook (PDF)