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

Книга
С14 Д-721

Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ / Альберт Григорьевич Драгалин. – М. : Эдиториал УРСС, 2003. – 543 с. : ил. – URL: http://urss.ru/cgi-bin/db.pl?cp=&page=Book&id=4921&lang=Ru&blang=ru&list=Found. – Библиогр.: с.520-525. – ISBN 5-354-00388-1.

С14


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