|
-
Ключові слова:
математична логіка, математическая логика ; неокласичні логіки, неоклассические логики
-
Анотація:
Будуються аксіоматичні числення першопорядкових композиційно-номінативних логік спеціальних часткових функцій та предикативів - неокласичних логік функціонально-екваційного рівня. Досліджуються синтаксичні властивості таких логік, доводиться коректністьта повнота побудованих числень.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 