Logic as algebra - Halmos Paul; Givant Steven (USA Mathematical Association of America, 1998)
Keywords: Mathemtical logic