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

Книга
С14 Л-19

Лакатос, Имре.
Доказательства и опровержения: как доказываются теоремы / Имре Лакатос ; Пер. с англ. и предисл.: И.Н.Веселовский ; Отв. ред.: И.Б.Погребысский. – Изд. 2-е. – M. : URSS, 2010. – 152 с. : ил. – (Физико-математическое наследие: математика (основания математики и логика)). – URL: http://edurss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=109030. – Библиогр.:с.146-151. – ISBN 978-5-382-01024-3.

С14


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