TY  - BOOK
AU  - Колмогоров,Андрей Николаевич
AU  - Драгалин,Альберт Григорьевич
TI  - Математическая логика: Дополнительные главы. [Учебное пособие для вузов по специальности "Математика"]
PY  - 1984///
CY  - М.
PB  - Издательство Московского университета
KW  - Математическая логика - Учебники и пособия
KW  - rurkp
KW  - математика
KW  - теория множеств
KW  - Цермело-Френкеля теория множеств
KW  - теория алгоритмов
KW  - теория доказательств
KW  - Геделя теорема
ER  -