510.6. Математическая логика.
| 510.62 | Логические и логико-предметные языки. |
| 510.63 | Логические и логико-предметные теории. Классические (традиционные) логические системы. |
| 510.64 | Неклассические, формальные логические системы. |
| 510.65 | Логико-математические теории. |
| 510.66 | Поиск вывода и проблемы разрешения в
логических и логико-математических исчислениях. См. также 519.226, 519.816. |
| 510.67 | Теория моделей. См. также 512.54.01, 512.57, 519.766, 519.86. |