 
    H. Basic notions and applications of the theory of decidability.- D. On several continuum hypotheses.- A. Models of set theory.- A. Problems and methods of model theory.- S. Sochor, B. The general theory of semisets. Syntactic models of the set theory.
"synopsis" may belong to another edition of this title.