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

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

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