Последовательность реализаций аксиоматики Пеано и принцип евклидовой логической стационарности / Проскуряков М. Н.
Язык: русский.Выходные данные: Москва : Репро Галерея, 2014Физическая характеристика: 7, [1] с. ; 21 см.Библиография: Библиогр. в конце кн..Предметная рубрика - Тема: Исчисление высказываний -- Теория доказательств | Математическая индукция | Натуральные числа Неконтролируемые предметные термины: аксиоматика Пеано | евклидова логическая стационарностьУДК: 510Другие классификации: В123 ; В12 ; В140Коллекция: НБР Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр. в конце кн.