TY  - BOOK
AU  - Борщев, В.Б.
TI  - Математическая логика
PY  - 1979///
CY  - Москва
PB  - ИПКИР
KW  - Математическая логика (ч. 2)
KW  - psbo
KW  - Банк данных (ч. 2)
N2  - Указ. терминов и обозначений: с. 49-51
ER  -