000 00501pam a2200157a 44500
008 160408b2013 xxu||||| |||| 00| 0 eng d
020 _a9781107611962
040 _aP K Kelkar Library, IIT Kanpur
082 _a160
_bG195w
100 _aGarson, James W.
245 0 _aWhat logics mean
_bfrom proof theory to model-theoretic semantics
_cJames W. Garson
260 _aCambridge
_bCambridge University Press
_c2013
300 _axv, 285p
650 _aSemantic -- Logic
997 _aA178966 C
999 _c374964
_d374964