Donald W. Barnes

An Algebraic Introduction to Mathematical Logic