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

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
Powered by AI (Beta)
Loading...

Description

An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advan...

Read more

Community Reviews

Loading...

Content Warnings

Loading...