Second Order Logic
method
ID: secondorderlogic
Entity Details
Basic Information
Entity ID
secondorderlogic
Entity Type
Method
English Label
Second Order Logic
Russian Label
Логика второго порядка
Kazakh Label
Екінші тәртіп логикасы
Frequency
1
Description
English Description
A type of logic that allows quantification over predicates.
Russian Description
-
Kazakh Description
-