Domenico Cantone

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

An Introduction to the Technique of Formative Processes in Set Theory

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets