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