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

• Класифікатори та каталоги
• Логічні теорії. Логічні обчислення

Класична (двозначна) логіка

Підтеми:

• Логіка висловлювань (пропозиціональна логіка)
• Логіка предикатів (функціональна логіка)