TY - BOOK AU - Garson, James W. TI - What logics mean: from proof theory to model-theoretic semantics SN - 9781107611962 U1 - 160 PY - 2013/// CY - Cambridge PB - Cambridge University Press KW - Semantic -- Logic ER -