Elements of finite model theory
Material type: TextSeries: Texts in theoretical computer science: EATCS seriesPublication details: Berlin ; Springer ; 2004Description: 315ISBN: 3540212027Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 LIB (Browse shelf (Opens below)) | Checked out to Prakash Saivasan (prakashs) | 25/04/2024 | 53186 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
510.6 LEVY Basic set theory | 510.6 LEW Sympolic logic | 510.6 LEW Unsolvable classes of quantificational formulas | 510.6 LIB Elements of finite model theory | 510.6 LIG Axiomatic method | 510.6 LIU Reasoning about preference dynamics | 510.6 LOW Forms of thought : |
There are no comments on this title.