Bounded variable logics and counting : a study in finite models
Material type: TextLanguage: English Series: Lecture notes in logic; 9Publication details: Cambridge University Press, Association for Symbolic Logic c2016 Edition: Description: ix, 183pISBN: 9781107167940 (HB)Subject(s): Model theory | Computational complexityDDC classification: 511.34 OTT(BOU)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.34 OTT(BOU) (Browse shelf(Opens below)) | 1 | Available | 25240 |
Total holds: 0
inv no.SAR/329/2017; dt.23-08-2017
There are no comments on this title.