Email Address * *
Name
Subject *
Message * Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator - 1175816604 - 9781175816603