Title: Cabal Seminar 79-81
Subjects: Congresses, Set theory, Recursion theory