Author: Advanced International Summer School and Conference on Mathematical Logic and Its Applications (1986 Druzhba, Varna, Bulgaria)