Computable Set Theory: v.1 (International Series of Monographs on Computer Science) - Hardcover

Cantone, Domenico

Hardcover

ISBN 10: 0198538073 ISBN 13: 9780198538073

Publisher: Clarendon Press, 1990

Synopsis

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.

Edition details

• Publisher: Clarendon Press
• Publication date: 1990
• Language: English
• ISBN 10: 0198538073
• ISBN 13: 9780198538073
• Binding: Hardcover
• Number of pages: 359