Near Matches
Ignore Exact
Everything
2
intuitionist logic
See also:
Intuitionism