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
Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser
511.34 CHA Model theory / | 511.34 HAS Stable domination and independence in algebraically closed valued fields / | 511.34 MAR Lectures on infinitary model theory / | 511.34 OTT Bounded variable logics and counting : a study in finite models / | 511.34 WEA Forcing for mathematicians / | 511.35 AAR Quantum computing since Democritus / | 511.35 APT Lectures in game theory for computer scientists / |
Formerly CIP. Uk
Includes bibliographical references and index.