Machine Logic
At the junction of computation, logic and mathematics
Tag: law of excluded middle
Why are you being constructive?
(20 Apr 2022)