51
   Г47


    Гилберт, Д.
    Основания математики: теория доказательств / Гилберт, Д., Бернайс, П. - М. : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - Б. ц.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
11 -- математика -- теория доказательств -- математическая логика -- основания математики


Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   51
   И25


    Ивс, Г.
    О математической логике и философии математики : (начальные сведения об основаниях математики): пер. с англ. / Ивс, Г., Ньюсом, К. В. - М. : Знание, 1968. - 48 с. - 1.00 р.
УДК
Рубрики: Математика
Кл.слова (ненормированные):
математика -- математическая логика -- логика -- философия математики -- основания математики -- 08


Доп.точки доступа:
Ньюсом, К. В.
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)