Ресурсы из категории "5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях"

Количество объектов на этом уровне: 0.

Этот список был создан Fri Apr 26 12:52:39 2024 MSK.

Репозиторий Тверского госуниверситета работает на базе ПО EPrints 3, разработанного в Школе электроники и информатики Саутгемптонского университета. Подробнее...