Refine your search
Availability
-
bib-level
-
Authors
-
Locations
- Книгохранилище (1)
- Читальный зал 5 (1)
-
Item types
- 1 неделя (1)
- Выдается в читальный зал (1)
-
Topics
- Аристотель (1)
- Греческая философия древняя (1)
- Евклид (1)
- Математическая наука в Греции Древней (1)
- Платон (1)
- аксиомы (1)
- верификация (1)
- гомотопическая теория типов (1)
- доказательство (1)
- доказательство отрицания (1)
- доказательство утверждения (1)
- история математики (1)
- математическая диалектика (1)
- математическая материя (1)
- математическое доказательство (1)
- обоснование (1)
- основания математики (1)
- постулаты (1)
- представление знаний (1)
- структура математики (1)
- Show more
- Show less