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

• Класифікатори та каталоги
• Логіка

Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів

Підтеми:

• Традиційний силогізм
• Алгебра логіки
• Логіка висловлювань
• Логіка предикатів. Квантифікація
• Числення класів
• Багатозначна логіка
• Природній умовивід
• Модальна та нормативна логіка. Деонтична логіка
• Комбінаторна логіка
• Класична та конструктивна логіка. Інтуїціоністська логіка. Оперативна логіка