Boolean calculus of difference - Thayse Andre (Berlin Springer Verlag, 1981)
Keywords: Higher algebra; Mathematics