the theory of semisets hajek,pertr (jt.auth.) - vopenka,petr (1st.ed. | Amsterdam North-Holland Pub. Co., 1972)