A logic with classical and constructive versions of each connective and quantifier, which can be used together in the same sentences.
8:14 PM - 30 Apr 2017
0 replies
1 retweet
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.