Ресурсы из категории "510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях"
- УДК (14164)
- 5 Математика. Естественные науки (2842)
- 51 Математика (534)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (69)
- 510.6 Математическая логика (55)
- 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях (5)
- 510.6 Математическая логика (55)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (69)
- 51 Математика (534)
- 5 Математика. Естественные науки (2842)
Количество объектов на этом уровне: 0.




На уровень вверх