Eugenio Omodeo

2 books

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

Computational Logic and Set Theory

Texts in Computer Science

Jacob Schwartz, Eugenio Omodeo, Domenico Cantone

370 pages • hardcover

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

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

Eugenio Omodeo, Alberto Policriti, Domenico Cantone

427 pages • paperback • 2001

medium-paced