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

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

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