classical logic

<logic> Non-intuitionist logic.

(13 Apr 1995)