COLOG-88 : Intern.conf.computer logic, Tallin, Dec.12-16,1988Proc. / сост.ed. P. Martin-Lof, сост.ed. G. Mints, 1990. - 388 p. - Текст : непосредственный.