Електронний каталог

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

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