Choice of metadata Электронный Каталог
Page 1, Results: 1
Отмеченные записи: 0
1.
More
Бернайс, П.
Логические исчисления и формализация арифметики : перевод с немецкого Н.М.Нагорного / Под ред. С.И.Адяна. - М. : Наука, 1979. - 555 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Элементарная арифметика -- Исчисление высказываний -- Исчисление предикатов с равенством -- Рекурсивные определения
Доп.точки доступа:
Гильберт, Д.
Бернайс, П.
Логические исчисления и формализация арифметики : перевод с немецкого Н.М.Нагорного / Под ред. С.И.Адяна. - М. : Наука, 1979. - 555 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Элементарная арифметика -- Исчисление высказываний -- Исчисление предикатов с равенством -- Рекурсивные определения
Доп.точки доступа:
Гильберт, Д.
Page 1, Results: 1