TY  - BOOK
AU  - Ершов, Ю.Л.
TI  - ЛОГИЧЕСКИЕ методы в информатике
T2  - Вычислительные системы
VL  - Вып. 148
PY  - 1993/// (вып. дан. 1994)
CY  - Новосибирск
PB  - Ин-т математики
N2  - Библиогр. в конце ст
ER  -