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

• Класифікатори та каталоги
• Логістика. Символічна логіка. Математична логіка. Логічне числення

Логіка концепцій. Числення тверджень та класів. Функції з однією змінною

Підтеми:

• Числення тверджень. Визначення твердження за змістом
• Числення класів. Класифікація тверджень
• Комбіноване числення викладів (формулювань) та тверджень

Документи:

• Прості форми міркувань [Текст] : конспект лекції (матеріали до курсу "Логіка" для студ. всіх напрямів підготов.) / М-во освіти і науки, молоді та спорту України, Нац. ун-т "Львів. політехніка". — Л. : Вид-во Львів. політехніки, 2012. — 20 с.