Dependence logic A new approach to independence friendly logic
Material type: TextSeries: London mathematical society student texts; 00070Publication details: New york ; Cambridge university press ; 2007Description: 225ISBN: 9780521700153Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 VAA (Browse shelf (Opens below)) | Available | 67184 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||
510.6 TRY Krister Segerberg on logic of actions | 510.6 TUR Mathematics Behind Fuzzy Logic | 510.6 USP Post's machine | 510.6 VAA Dependence logic | 510.6 VAA Models and games |
There are no comments on this title.