Ascent++
Search
Assertion list
inductive logic
(
subgroup
of
logic
)
→ ReceivesAction
Results from
Ascent++
:
1
inductive logic
→
ReceivesAction
→
developed by john stuart mill
0.68