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.
Read More
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.
Read Less
Add this copy of Computable Set Theory (International Series of to cart. $24.66, good condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1990 by Clarendon Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Volume 1. This is an ex-library book and may have the usual library/used-book markings inside. This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 800grams, ISBN: 0198538073.
Add this copy of Computable Set Theory Volume 1 (International Series of to cart. $36.61, like new condition, Sold by Rothwell & Dunworth Ltd rated 5.0 out of 5 stars, ships from Dulverton, SOMERSET, UNITED KINGDOM, published 1990 by Clarendon Press Oxford University Press, 1989. 9780198538073.
Add this copy of Computable Set Theory (International Series of to cart. $53.45, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1990 by Oxford University Press.
