Логика второго порядка
method
ID: secondorderlogic
Детали сущности
Основная информация
ID сущности
secondorderlogic
Тип сущности
Method
Английская метка
Second Order Logic
Русская метка
Логика второго порядка
Казахская метка
Екінші тәртіп логикасы
Частота
1
Описание
Английское описание
A type of logic that allows quantification over predicates.
Русское описание
-
Казахское описание
-