Vineet Nayyar Learning Resource Centre

What logics mean: from proof theory to model-theoretic semantics

Garson, James W.

What logics mean: from proof theory to model-theoretic semantics - Cambridge Cambridge University Press 2013 - xv, 285 p.

9781107611962


Language and logic
Logic
Semantics
Logic, Symbolic and mathematical

160 / GAR