Mathematics of logic: A guide to completeness theorems and their applications - Kaye, Sanford (Cambridge, 2007)