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

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

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

Підтеми:

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

Документи:

• Математична логіка. Основи теорії алгоритмів [Текст] : навч. посіб. / С.С. Шкільняк. — К. : Персонал, 2009. — 280с. — (Профтехосвіта. — К. : Шкільний світ, 2010. — 10).