An Algebraic Introduction to Mathematical Logic

by Donald W. Barnes