Quantifiers, Propositions & Identify Admissible Semantics For Quantified Modaland Substructural Logics
Material type: TextPublication details: UK Cambridge University Press 2011Description: xiii, 268 p. M, HBKISBN: 9781107010529DDC classification: 511.3Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books |
GIFT University, Library
GIFT University, Library |
511.3 GOL-Q (Browse shelf(Opens below)) | Available | 20232 |
Browsing GIFT University, Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.1 WAN-F Finite Mathematics | 511.3 ADA-L Logic of mathematics | 511.3 EPP-D Discrete Mathematics: An Introduction to Mathematical Reasoning S. Epp | 511.3 GOL-Q Quantifiers, Propositions & Identify Admissible Semantics For Quantified Modaland Substructural Logics | 511.3 GOL-Q Quantifiers Propositions And Identity | 511.3 ROM-A An Introduction to Discrete Mathematics | 511.3 SAC-H Higher Recursion Theory / |
Include index
Eng.
There are no comments on this title.