Eugenio Omodeo

2 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
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