Logic year 1979-80. - Lerman M Ed. (New York Springer-Verlag, 1981)