Domenico Cantone

Eugenio Omodeo

Alfredo Ferro

The authors describe computational techniques for deciding formulae in set theory. The eventual aim of such a work is to automate simple proofs over a wide range of mathematical areas. This volume reports on a successful series of investigations in one of the most important sub-domains:elementary set theory.

Computable Set Theory

Alberto Policriti

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Eugenio Omodeo

Books

Your next favorite book is out there