Monadic Boolean algebra

From Free net encyclopedia