Algebraic logic (1962)

by P R Halmos