Scientific programme of the Fourth Logical Biennial - , Editor (Ann. Sofia Univ. Fac. Math. and Inf., 1998)