1 vpfe0WwH GTM 022 - ISBN978-1-4757-44[..] - Donald W. Barnes, ...
An Algebraic Introduction to Mathematical Logic.