TY  - BOOK
AU  - Смирнов, Владимир Александрович
TI  - [Вып.] 2: Логические языки, содержательные рассуждения и методы поиска доказательств
SN  - 5-02-006896-9
PY  - 1995///
N1  - Библиогр. в конце ст
ER  -