Гильберт, Давид Основы теоретической логики / Давид Гильберт, В. Аккерман ; Пер. с нем. А. А. Ефремова. - Москва : Гос. изд-во иностр. лит-ры, 1947. - 304 с. : ил. Subjects--Index Terms: მათემატიკა მათემატიკური ლოგიკა Universal Decimal Class. No.: 510.5