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

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

164.21 Числення тверджень. Визначення твердження за змістом