Proof, computation and agency : logic at the crossroads
Material type: TextSeries: Synthese library ; 352Publication details: Dordrecht Springer 2011Description: xxiv, 371p. ; 24.5 cmISBN:- 9789400700796
- 160 VAN
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | LRC, IIT Indore 3rd Floor - General Stack | 160 VAN (Browse shelf(Opens below)) | Available | 16944 |
Total holds: 0