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

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

Комбіноване числення висловлень та предикатів