TY  - BOOK
AU  - Гильберт,Д.
AU  - Аккерман,В.
AU  - Ерофеев,А.А.
AU  - Яновская,С.А.
TI  - Основы теоретической логики
PY  - 1947///
CY  - Москва
PB  - Гос. изд-во иностр. лит
KW  - Математическая логика
KW  - Логика формальная - Математические методы
N1  - Библиогр.: с. 297-298
ER  -