TY  - BOOK
AU  - Гильберт, Д.
AU  - Бернайс, П.
TI  - Основания математики
T2  - Математическая логика и основания математики
PY  - 1982///
CY  - М.
PB  - Наука
N2  - Алф. указ.: с. 551-556
ER  -