Електронний каталог

• Класифікатори
• 510 Фундаментальні та загальні питання математики

510.6 Математична логіка

Підтеми:

• 510.62 Логічні мови. Логіко-предметні мови
• 510.63 Логічні теорії. Логіко-предметні теорії.Класичні логічні системи
• 510.64 Некласичні, формальні логічні системи
• 510.65 Логіко-математичні теорії (Формальна арифметика. Формальна теорія чисел)
• 510.66 Пошук виводу та проблеми розв'язання при логічних та логіко-математичних обчислень