De Morgan algebra

system of logic lacking the excluded middle law

Categories: