Domenico Cantone

• An Introduction to the Technique of Formative Processes in Set Theory
• Computable set theory
• Computational Logic and Set Theory
• Set Theory for Computing
• Set theory for computing
• From Computational Logic to Computational Biology