Classical mathematical logic the semantic foundations of logic - Epstein, Richard L. (Princeton University Press, 2011)