Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library | 510.6 HER (Browse shelf(Opens below)) | Available | 00019390 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510.6 BIM Proof theory | 510.6 BIM;1 Proof theory | 510.6 DEV Logic and information | 510.6 HER Introduction to mathematical logic | 510.6 KOH Applied proof theory | 510.6 LIV Is god a mathematician? | 510.6 MAN (A) course in mathematical logic |
There are no comments on this title.