Bounded variable logics and counting : a study in finite models / Martin Otto.
By: Otto, Martin [author.].
Material type: TextSeries: Lecture notes in logic ; 9.Publisher: Cambridge : Cambridge University Press, [2016]Description: ix, 183 pages : UKP 95.00 illustrations (black and white) ; 24 cm.Content type: text | still image Media type: unmediated Carrier type: volumeISBN: 9781107167940 (hbk.) :.Subject(s): Finite model theoryDDC classification: 511.34Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | Chennai Mathematical Institute General Stacks | 511.34 OTT (Browse shelf) | Available | 10411 |
Total holds: 0
Formerly CIP. Uk
Includes bibliographical references and index.