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