Unsolvable classes of quantificational formulas
Material type: TextCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 LEW (Browse shelf (Opens below)) | Available | 17085 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | |||||
510.6 LEV Hierarchy of formulas in set theory | 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 |
B31 L9
There are no comments on this title.