TY - BOOK AU - Ершов, Ю.Л. TI - СТРУКТУРНЫЕ алгоритмические свойства вычислимости T2 - Вычислительные системы VL - Вып. 156 PY - 1996/// CY - Новосибирск PB - ИМ N2 - Библиогр. в конце ст ER -