Intuitionistic and constructive logics reject excluded middle, yielding different complexity hierarc...
This proposition has not been edited since the history system was added.