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

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

Комбіноване числення викладів (формулювань) та тверджень