Domenico Cantone profile picture

Domenico Cantone

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Computable Set Theory: Volume 1 (International Series of Monographs on Computer Science, 6)
Set theory for computing
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
From Computational Logic to Computational Biology
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
An Introduction to the Technique of Formative Processes in Set Theory
An Introduction to the Technique of Formative Processes in Set Theory
Computational Logic and Set Theory Applying Formalized Logic to Analysis