https://www.ebooknetworking.net/books_detail-B013I2EIC2.html

Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988

Name: Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988
Author: D. Cantone
ISBN: 978B013I2EIC4

AuthorD. Cantone

PublisherLeopold Classic Library

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

10.95 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)D. Cantone

PublisherLeopold Classic Library

ISBN / ASINB013I2EIC2

ISBN-13978B013I2EIC4

MarketplaceUnited States 🇺🇸

Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988

Book Details

More Books by D. Cantone