TY  - BOOK
AU  - Nabebin, A. A.
TI  - Mathematical logic and Prolog
PY  - 2004///
CY  - Moscow
PB  - MPEI
KW  - Математическая логика
KW  - RU\NLR\AUTH\6620994
KW  - В12
N2  - Библиогр.: с. 183
ER  -