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