Зведений каталог бібліотек Києва

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

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

Підтеми:

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