Abstract algebraic logic : an introductory textbook / Josep Maria Font. London : College Publications, 2016