Search the Library Catalogue
Labelled deduction edited by David Basin ... [et al.]
Publication details: Dordrecht ; Boston Kluwer Academic Publishers c2000Description: xi, 266 p. : ill. ; 25 cmISBN:- 9780792362371
- 28202
- 511.3 BAS
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 511.3 BAS (Browse shelf(Opens below)) | Available | 301682 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| 511.3 AWA Discrete Mathematics And Logic Design | 511.3 AWA Discrete Mathematics And Logic Design | 511.3 BAJ An Invitation to Abstract Mathematics | 511.3 BAS Labelled deduction | 511.3 BEL Higher-Order Logic and Type Theory | 511.3 BEN The moment of proof : mathematical epiphanies | 511.3 BER Categories and modules with K-theory in view |
Includes bibliographical references
There are no comments on this title.
Log in to your account to post a comment.