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