Scientific programme of the Fourth Logical Biennial (Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 1998)