classical logic

<logic> Non-intuitionistic logic.



Nearby terms:
class hierarchy « classic « Classic-Ada « classical logic » Classic C » Classless Inter-Domain Routing » class library