Cabal seminar 79-81, proceedings, Caltech-UCLA logic seminar 1979-81. - Springer Verlag, 1983. - ( Lecture Notes in Mathematics ; 1019).