Perspectives on the history of mathematical logic
Publication details: Boston Birkhauser 2008 Description: xxiii,195pISBN:- 9780817647681
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library General Stacks | 510.6(091) DRU (Browse shelf(Opens below)) | Available | 00062995 |
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(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 | 510:681.31 DOE Applied discrete structure for computer science |
There are no comments on this title.