Author: Sovetsko-finskiĭ kollokvium po logike (6th 1985 Tʻelavi, Georgia)