International Series of Monographs on Computer Science

1 primary work

Computable Set Theory

by Domenico Cantone, etc., A Ferro, and E Omodeo

Published 1 May 1990

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. This book is intended for computer scientists; set theorists; logicians.