Normal view MARC view ISBD view

Bounded variable logics and counting : a study in finite models / Martin Otto.

By: Otto, Martin, 1961- [author.].
Material type: TextTextSeries: 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.34
List(s) this item appears in: 2018-07-27
Item 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.