Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator. No. 131
Book Details
Author(s)D. Cantone
PublisherLeopold Classic Library
ISBN / ASINB013L7Q17O
ISBN-13978B013L7Q177
MarketplaceFrance 🇫🇷

