Computational Logic: An Algebraic Approach (1988)

by K Hanna, Neil Daeche