Picture 1 of 12
Picture 1 of 12
International Series of Monographs on Computer Science Ser.: Computable Set Theory by Alfredo Ferro, Domenico Cantone and Eugenio Omodeo (1990, Hardcover)
enjoy_our_products (435)
100% positive feedback
Price:
US $43.59
(inclusive of GST)
ApproximatelyS$ 56.97
+ $23.91 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherOxford University Press, Incorporated
ISBN-100198538073
ISBN-139780198538073
eBay Product ID (ePID)71237
Product Key Features
Number of Pages360 Pages
Publication NameComputable Set Theory
LanguageEnglish
SubjectGeneral, Set Theory, Logic
Publication Year1990
TypeTextbook
AuthorAlfredo Ferro, Domenico Cantone, Eugenio Omodeo
Subject AreaMathematics, Computers
SeriesInternational Series of Monographs on Computer Science Ser.
FormatHardcover
Dimensions
Item Height1 in
Item Weight26.1 Oz
Item Length9.5 in
Item Width6.3 in
Additional Product Features
Intended AudienceCollege Audience
LCCN89-025592
Dewey Edition20
Series Volume Number6
IllustratedYes
Volume NumberVol. 1
Dewey Decimal511.3/22
SynopsisThe 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 volume describes computational techniques for deciding formulae in set theory. It includes information on a series of investigations in elementary set theory, aiming to automate simple proofs over a wide range of mathematical areas. Full coverage of such fundamentals as classes and orderings, the validity problem, elementary syllogistics, and restricted quantifiers is provided, as well as more advanced material on the powerset operator, MAP constructs, the unionset operator, and the choice operator.
LC Classification NumberQA248.C194 1989
Be the first to write a review
