Mathematical logic and its applications - Skordev, Dimitur Genchev; Gödel, Kurt (Plenum Press, 1987)
"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".