Classical mathematical logic : the semantic foundations of logic - Epstein, Richard L., 1947-; Szczerba, Lesław, 1938-2010 (Princeton University Press, 2006)