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

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

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