TY  - BOOK
AU  - Антонова, О. А.
TI  - Табличные методы в логике
SN  - 5-288-03309-9
PY  - 2003///
CY  - СПб.
PB  - Изд-во СПбГУ
KW  - Математика
KW  - Доказательства
KW  - Табличные методы
KW  - nlr-sh2
KW  - RU\NLR\auth\661389457
KW  - В12
N2  - Библиогр.: с. 242-251 и в подстроч. прим
ER  -