Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E

H. Hermes: Basic notions and applications of the theory of decidability. D. Kurepa: On several continuum hypotheses. A. Mostowski: Models of set theory. A. Robinson: Problems and methods of model theory. S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.