Logical foundations of mathematics and computational complexity: a gentle introduction
Material type: TextLanguage: English Publication details: Springer 2013 Edition: Description: xiv, 693pISBN: 9783319001180 (HB)Subject(s): Logic, Symbolic and mathematical | Computational complexityDDC classification: 004.015113 PUD(LOG)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 004.015113 PUD(LOG) (Browse shelf(Opens below)) | 1 | Available | 20402 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
004.015113 MEN(INT) Introduction to Mathematical logic | 004.015113 MEN(INT) Introduction to Mathematical logic | 004.015113 POG(COM) Completeness theory for propositional logics | 004.015113 PUD(LOG) Logical foundations of mathematics and computational complexity: a gentle introduction | 004.015113 ROZ(HAN) v.1, p.1 Handbook of formal languages, v.1, p-1 word, language, grammar | 004.015113 ROZ(HAN) v.1, p.2 Handbook of formal languages, v.1, p-2 word, language, grammar | 004.015113 ROZ(HAN) v.2 Handbook of formal languages, v.2 linear modeling: background and application |
Bill No.SAR/111/2014; dt.29-11-2014
There are no comments on this title.