TY  - BOOK
AU  - Лихтарников, Л. М.
AU  - Сукачева, Т. Г.
TI  - Математическая логика
SN  - 5-8114-0082-9
PY  - 1998///
CY  - СПб.
PB  - Лань
KW  - Математическая логика
KW  - Руководства, пособия и т.п. для высшей школы
KW  - nlr-sh1
KW  - RU\NLR\auth\6620994
KW  - Учебные издания для высшей школы
KW  - nlr-sh2
KW  - В12я73
N2  - Библиогр.: с. 282
ER  -