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