formal logic
(subgroup of
logic)
→
CapableOf
→
study mathematical reasoning
|
0.25 |