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

Книга
С14 К-493

Клини, Стивен Коул.
Математическая логика = Mathematical Logic / Стивен Коул Клини ; Пер. с англ.: Ю.А.Гастев ; Ред.: Г.Е.Минц ; Предисл.: Ю.А.Гастев, Г.Е.Минц. – 4-е изд. – M. : URSS, 2008. – 480 с. – (Физико-математическое наследие: основания математики и логика). – URL: http://edurss.ru/cgi-bin/db.pl?cp=&page=Book&id=24724&lang=Ru&blang=ru&list=Found. – Библиогр.:с.451-465. – ISBN 978-5-382-00626-0.

С14


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