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

Книга
С14 У-774

Успенский, Владимир Андреевич.
Что такое аксиоматический метод? / Владимир Андреевич Успенский. – 2-е изд., испр. – Москва; Ижевск : НИЦ "Регулярная и хаотическая динамика", 2001. – 96 с. – URL: http://shop.rcd.ru/details/12. – ISBN 5-7029-0337-4.

С14
511


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