Электронный каталог

Бернайс, П.
    Логические исчисления и формализация арифметики : перевод с немецкого Н.М.Нагорного / Под ред. С.И.Адяна. - М. : Наука, 1979. - 555 с. - Б. ц.

Рубрики: Математика

Кл.слова (ненормированные):
Элементарная арифметика -- Исчисление высказываний -- Исчисление предикатов с равенством -- Рекурсивные определения

Доп.точки доступа:
Гильберт, Д.

Бернайс, П. Логические исчисления и формализация арифметики [Текст] : Перевод с немецкого Н.М.Нагорного / Под ред. С.И.Адяна, 1979. - 555 с.