TY  - BOOK
AU  - Мендельсон,Эллиот
AU  - Кабаков,Ф.А.
AU  - Ադյան,Սերգեյ Իվանի
TI  - Введение в математическую логику
PY  - 1976///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Математическая логика
KW  - Арифметика
KW  - Теория множеств
N1  - Список лит. с. 296-309; Оригинал на англ.; Introduction to Mathematical Logic; Elliot Mendelson -; Princeton : D. Van Nostrand Company, Inc
ER  -