Зведений каталог бібліотек Львова

• Класифікатори та каталоги
• Логіка концепцій. Числення тверджень та класів. Функції з однією змінною

Числення тверджень. Визначення твердження за змістом