Refine your search
Availability
-
Bibliographic level
- Книги (10)
- Статьи из сериальных изданий (1)
-
Authors
- Зюзьков, Валентин Михайлович (2)
- Целищев, Виталий Валентинович (2)
- Kenny, Anthony (1)
- Rhees, Rush (1)
- Wittgenstein, Ludwig (1)
- Кольман, Эрнест Яромирович (1)
- Куваев, Михаил Романович (1)
- Кузнецов, Б. Г. (1)
- Пестова, Надежда Федосеевна (1)
- Родин, Андрей Вячеславович (1)
- Савватеев, Алексей Владимирович (1)
- Стойлова, Любовь Петровна (1)
- Суровцев, Валерий Александрович (1)
- Сухотин, Анатолий Константинович (1)
- Томский государственный университет систем управления и радиоэлектроники (1)
- Хлебалин, Александр Валерьевич (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (7)
- 1 месяц (3)
- 6 месяцев (2)
- Выдается по месту хранения (1)
-
Topics
- математическое доказательство (11)
- философия математики (5)
- математика (4)
- математическая логика (3)
- множества (3)
- аксиоматические теории (2)
- алгоритмы (2)
- кванторы (2)
- логика (2)
- математические понятия (2)
- предикаты (2)
- пропозициональная логика (2)
- учебные пособия для вузов (2)
- 19 век 1 половина (1)
- 20 век (1)
- Аристотель (1)
- Больцано, Бернард (1)
- Геделя теоремы о неполноте (1)
- Греческая философия древняя (1)
- Диофантовы уравнения (1)
- Евклид (1)
- Евклида геометрия (1)
- Кантора множество (1)
- Математическая наука в Греции Древней (1)
- Платон (1)
- Тьюринга машины (1)
- Ферма теорема (1)
- австрийская философия (1)
- аксиомы (1)
- алгебра (1)
- алгебраические операции (1)
- алгоритмическая неразрешимость (1)
- алгоритмов теория (1)
- английская философия (1)
- арифметизация анализа (1)
- бесконечности (мат.) (1)
- биографии (1)
- борьба за равноправие наций (1)
- верификация (1)
- вычислимые функции (1)
- вычитание (1)
- геометрические величины (1)
- геометрические фигуры (1)
- государство и право (1)
- дедуктивные теории (1)
- деление (1)
- дифференциальные уравнения (1)
- дифференцирование (1)
- доказательство (1)
- доказательство отрицания (1)
- Show more
- Show less