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

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

Класична пропозиційна логіка (числення висловлень)