Download or read book Computable Set Theory written by Domenico Cantone and published by Oxford University Press, USA. This book was released on 1989 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.