TY  - BOOK
AU  - Гильберт, Давид
AU  - Нагорний, Н. М.
TI  - Основания математики: Логич. исчисления и формализация арифметики 
T2  - Мат. логика и основания математики
PY  - 1982///
CY  - Москва
PB  - Наука
KW  - მათემატიკა
KW  - მათემატიკური ლოგიკა
ER  -