Computable Set Theory |
|
| Author:
| Cantone, Domenico
Ferro, Alfredo
Omodeo, Eugenio |
| Series title: | International Series of Monographs on Computer Science Ser. |
| ISBN: | 978-0-19-853807-3 |
| Publication Date: | Apr 1990 |
| Publisher: | Oxford University Press, Incorporated
|
| Book Format: | Hardback |
| List Price: | USD $70.00 |
Book Description:
|
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.
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.