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.
- ISBN10 0198538073
- ISBN13 9780198538073
- Publish Date 1 May 1990
- Publish Status Out of Print
- Out of Print 31 October 2001
- Publish Country GB
- Publisher Oxford University Press
- Imprint Clarendon Press
- Format Hardcover
- Pages 359
- Language English