What logics mean : from proof theory to model-theoretic semantics
By: Garson, James W.
Material type: BookPublisher: Cambridge Cambridge University Press 2013Description: xv, 285p.ISBN: 9781107611962.Subject(s): Semantic -- LogicDDC classification: 160 | G195wItem type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 160 G195w (Browse shelf) | Available | A178966 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
160 F63L LOGIC AND LANGUAGE | 160 G17L LOGIC MACHINES AND DIAGRAMS | 160 G195M MODAL LOGIC FOR PHILOSOPHERS | 160 G195w What logics mean | 160 G26 LOGIC MATTERS | 160 G293E ELEMENTARY FORMAL LOGIC | 160 G564l2 Logics of time and computation |
There are no comments for this item.