The Mathematics of Logic: A Guide to Completeness Theorems and their Applications - Kaye, Richard W (Cambridge CUP, 2007)
Keywords: Logic, Symbolic and mathematical; Logic, Symbolic and mathematical; Mathematics