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

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

Логіка висловлювань (пропозиціональна логіка)