The semantic foundations of logic - Epstein, Richard L (Oxford University Press, 1994)