Основы теоретической логики /
Д. Гильберт, В. Аккерман; Пер. с нем. А.А. Ерофеева; Ред., вступ. ст., коммент. С.А. Яновской.
- Москва : Гос. изд-во иностр. лит, 1947.
- 304 с.
Библиогр.: с. 297-298
Математическая логика Логика формальная - Математические методы