LogoРепозиторий Тверского госуниверситета

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

На уровень вверх
Экспорт в [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Количество объектов на этом уровне: 0.
Этот список был создан Wed Nov 22 15:32:20 2017 MSK.