Сандық каталог

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

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

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

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

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

Палютин, Е. А.
    Математическая логика : учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.

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

Кл.слова (ненормированные):
Классические исчисления -- Исчисление высказываний -- Исчисление предикатов с равенством -- Теория множеств -- Теория алгоритмов -- Теории и модели

Доп.точки доступа:
Ершов Ю.Л,

Палютин, Е.А. Математическая логика [Текст] : Учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,, 1987. - 336 с.