TY  - BOOK
AU  - Набебин, А.А.
TI  - Логика и пролог в дискретной математике
SN  - 5-7046-0162-6
PY  - 1996///
CY  - М.
PB  - Изд-во МЭИ
N2  - Библиогр.: с. 435-440
ER  -