KNOWLEDGE HYPERMARKET


Использование аксиом при доказательстве теорем. Полные уроки — история изменений
Пояснения: (текущ.) — отличие от текущей версии; (пред.) — отличие от предшествующей версии; м — малозначимое изменение