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

• Класифікатори
• 164 Логістика. Символічна логіка. Математична логіка. Логічне числення

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

Підтеми:

• 164.21 Числення тверджень. Визначення твердження за змістом
• 164.22 Числення класів. Класифікація тверджень
• 164.23 Комбіноване числення викладів (формулювань) та тверджень