Digital catalogue

Шень, А.
    Языки и исчисления. Часть 2 / А. Шень, Н. К. Верещагин. - 2-е изд., стереотипное. - М. : МЦМНО, 2002. - 288 с. - ISBN 5-900916-66-9 : Б. ц.

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

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

Доп.точки доступа:
Верещагин, Н.К.

Шень, А. Языки и исчисления [Текст] . Часть 2 / А. Шень, Н. К. Верещагин, 2002. - 288 с.

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

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

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

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

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

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

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

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

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

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

Мендельсон, Э.
    Введение в математическую логику : пер. с англ. Ф.А.Кабакова / Под ред. С.И.Адяна. - М. : ФИЗМАТЛИТ, 1971. - 320 с. - Б. ц.

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

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

Мендельсон, Э. Введение в математическую логику [Текст] : Пер. с англ. Ф.А.Кабакова / Под ред. С.И.Адяна, 1971. - 320 с.