Email Address * *
Name
Subject *
Message * Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators - 1175817538 - 9781175817532