Proof theory sequent calculi and related formalisms
Series: Discrete mathematics and its applicationsPublication details: 2015 CRC press Boca RatonDescription: x, 376pISBN:- 9781466564664
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University Library | 510.6 BIM;1 (Browse shelf(Opens below)) | Available | 00072814 | |
Books | University Library | 510.6 BIM (Browse shelf(Opens below)) | Available | 00072959 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
510.57 WEB Computability theory | 510.6 ADI/C CL Crack the code: | 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 |
There are no comments on this title.