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