TY  - BOOK
AU  - Смирнов,В.А.
TI  - Теория логического вывода
SN  - 5-8243-0046-1
PY  - 1999///
CY  - Москва
PB  - РОССПЭН
N1  - Бібліогр. : с. 305-314
ER  -