classical logic
<
logic
> Non-
intuitionist logic
.
(13 Apr 1995)