What logics mean from proof theory to model-theoretic semantics - Garson, James W. (Cambridge Cambridge University Press, 2013)
Keywords: Semantic -- Logic