Roads to Infinity the mathematics of truth and proof
Publication details: A.K. Press Ltd 2010 Massachusetts Description: xi, 203pISBN:- 9781568814667
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library General Stacks | 510.6 STI (Browse shelf(Opens below)) | Available | 00067175 |
Browsing University Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
510.6 KOH Applied proof theory | 510.6 MEN Introduction to mathematical logic | 510.6 ROB Introduction to mathematical proofs | 510.6 STI Roads to Infinity | 510.6(091) DRU Perspectives on the history of mathematical logic | 510.63 CAU Logic, sets and recursion | 510.6:681.31 CAF Logic for computer science and artificial intelligence |
There are no comments on this title.