Computable set theory
Domenico Cantone, Alfredo Ferro, Eugenio Giovanni Omodeo · Medical Entomology and Zoology · 1990
Introduction PART 1: FUNDAMENTALS Classes and orderings The validity problem A partial solution to the finite satisfiability problem Elementary syllogistics Multi-level syllogistic Restricted quantifiers, ordinals and w PART 2: EXTENDED MULTI-LEVEL SYLLOGISTICS The powerset operator MAP constructs The Unionset operator The Choice operator