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.

[ Начало ]