Home / Books / Domenico Cantone

Domenico Cantone

Computable Set Theory (International Series of Monographs on Computer Science)
Computable Set Theory (International Series of Monographs on Computer Science)
1989
 Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
2013