The mathematics of logic : a guide to completeness theorems and their applications - Kaye, Richard (Cambridge University Press, 2007)