TY  - BOOK
AU  - Захарьящев, М.В.
TI  - Математическая логика в программировании
T2  - Математическое обеспечение ЭВМ
SN  - 5-03-001635-X
PY  - 1991///
CY  - М.
PB  - Мир
N2  - Библиогр. в конце ст
ER  -