Domenico Cantone

3 books

Computational Logic and Set Theory by Domenico Cantone, Eugenio Omodeo, Jacob Schwartz
Computational Logic and Set Theory
—
Domenico Cantone, Eugenio Omodeo, Jacob Schwartz

Computational Logic and Set Theory

Texts in Computer Science

Domenico Cantone, Eugenio Omodeo, Jacob Schwartz

370 pages • missing pub info (editions)

nonfiction computer science design mathematics science medium-paced
An Introduction to the Technique of Formative Processes in Set Theory by Domenico Cantone, Pietro Ursino

An Introduction to the Technique of Formative Processes in Set Theory

Domenico Cantone, Pietro Ursino

154 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Alberto Policriti, Domenico Cantone, Eugenio Omodeo

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

Alberto Policriti, Domenico Cantone, Eugenio Omodeo

427 pages • first pub 2001 (editions)

medium-paced