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