TY - BOOK AU - Григорьев, Д. Ю. AU - Оревков, В. П. ED - АН СССР. Мат. ин-т им. В. А. Стеклова. TI - Теоретические применения методов математической логики : 1981: Сборник работ CY - Ленинград PB - Наука KW - მათემატიკური ლოგიკა KW - კრებულები ER -