?ISILC Proof Theory Symposion ed by Justus Diller and Gert H. Mॱller
Material type: BookSeries: Lecture Notes in Computer ScienceSubject(s): DDC classification:- 511.3
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E-BOOKS | JRD Tata Memorial Library | 511.3 (Browse shelf(Opens below)) | Available | E6046 |
There are no comments on this title.