What logics mean : from proof theory to model-theoretic semantics
Garson, James W
What logics mean : from proof theory to model-theoretic semantics - New York Cambridge University Press 2013
Includes bibliographical references and index
9781107611962
Logic
Logic -- Symbolic and mathematical
Semantics
What logics mean : from proof theory to model-theoretic semantics - New York Cambridge University Press 2013
Includes bibliographical references and index
9781107611962
Logic
Logic -- Symbolic and mathematical
Semantics