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

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

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