TY  - BOOK
AU  - Мендельсон, Э.
TI  - Введение в математическую логику
T2  - Физико-математическое наследие: математика (основания математики и логика)
SN  - 978-5-397-01387-1
PY  - 2010///
CY  - Москва
PB  - URSS, ЛИБРОКОМ
KW  - Математическая логика
KW  - RU\NLR\auth\6620994
KW  - Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы
KW  - В12я73-1
KW  - rubbk
KW  - В12
N2  - Библиогр.: с. 296-309; Алф. указ.: с. 310-317
ER  -