Describir: Matematicko-logické modelovanie '86 /