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