Mathematical logic and its applications [proceedings of an Advanced International Summer School and Conference on Mathematical Logic and Its Applications, in honor of the 80th anniversary of Kurt Gödel's birth, held September 24 - October 4, 1986, in Druzhba, Bulgaria] (Plenum Press, 1987)