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

Книга
С14 Г-474

Гильберт, Давид.
Основы теоретической логики / Давид Гильберт, Вильгельм Аккерман ; Пер. с нем. А.А.Ерофеев ; Ред., предисл., коммент.: С.А.Яновская. – Изд. 2-е, испр. – M. : URSS, 2010. – 304 с. – (Физико-математическое наследие: математика (основания математики и логика)). – URL: http://edurss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=110171. – Пер. изд.: Grundzuge der Theoretischen Logik / Hilbert D., Ackermann W. - Б.м., Б.г. – ISBN 978-5-484-01144-5.

С14


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