Proceedings of the colloquium, held in Padova, Aug.22-31, 1988 / Logic colloquium'88 (1988; Padova), 1989. - VIII, 403 p. 403 p. - Текст : непосредственный.