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

Книга
С14 К-493

Клини, Стивен Коул.
Математическая логика = Mathematical Logic / Стивен Коул Клини ; Пер. с англ.: Ю.А.Гастев ; Ред.: Г.Е.Минц. – 2-е изд., стер. – М. : Эдиториал УРСС, 2005. – 480 с. – URL: http://edurss.ru/cgi-bin/db.pl?cp=&page=Book&id=24724&lang=Ru&blang=ru&list=Found. – Библиогр.:с.451-465. – ISBN 5-354-01011-X.

С14


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = математическая логика
Ключевых слов = исчисление высказываний
Ключевых слов = предикаты
Ключевых слов = логические исчисления