Описание RUSMARC Карточка

Последовательность реализаций аксиоматики Пеано и принцип евклидовой логической стационарности

[2015-90208]/русский (rus)/Последовательность реализаций аксиоматики Пеано и принцип евклидовой логической стационарности / Проскуряков М. Н.Последовательность реализаций аксиоматики Пеано и принцип евклидовой логической стационарности / Проскуряков М. Н.Последовательность реализаций аксиоматики Пеано и принцип евклидовой логической стационарности.Москва/Репро Галерея/, 2014 ( ). - Репро Галерея, 2014. - 7, [1] с. ; 21 см.Последовательность реализаций аксиоматики Пеано и принцип евклидовой логической стационарности. Москва, 2014 .
     Библиогр. в конце кн. Библиогр. в конце кн.Исчисление высказываний -- Теория доказательств/Математическая индукция/Натуральные числа/В123/В12/В140/ Проскуряков, М. Н., Михаил Н. .М. Н.Михаил Н.