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

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

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

Підтеми:

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