Krister Segerberg on logic of actions
Material type:
TextSeries: Outstanding contributions of logic ; 00001Publication details: New york ; Springer ; 2014Description: 335ISBN: 9789400770454Subject(s): Logic
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 510.6 TRY (Browse shelf (Opens below)) | Available | 70543 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
No cover image available |
|
||
| 510.6 TRO Lectures on Linear Logic | 510.6 TRO Constructivism in Mathematics, an introduction Vols. 1 & 2 | 510.6 TRO Constructivism in Mathematics, an introduction Vols. 1 & 2 | 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 |
There are no comments on this title.