non-classical logic algebraic semantic boolean pre-algebras non-fregean logic
Tout plus