Зведений каталог бібліотек Києва

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

Логика предикатов (функциональная логика). Исчисление предикатов