Items where Subject is "510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях"
![[up]](/style/images/multi_up.png)
Up a level- УДК (13283)
- 5 Математика. Естественные науки (2700)
- 51 Математика (514)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (66)
- 510.6 Математическая логика (53)
- 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях (5)
- 510.6 Математическая логика (53)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (66)
- 51 Математика (514)
- 5 Математика. Естественные науки (2700)
Number of items at this level: 0.