International Interdisciplinary Symposium on Logic and Applications (1st 1990 Varna, Bulgaria)