Search the Library Catalogue
Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|
Anna Centenary Library | 511.3 ADA (Browse shelf(Opens below)) | Available | 105088 |
No cover image available | No cover image available | |||||||
511.22 MIN A short introduction to intuitionistic logic | 511.22 ZHA Automated mathematical induction | 511.3 ACZ Proof theory : a selection of papers from the Leeds Proof theory programme, 1990 | 511.3 ADA A primer of probability logic | 511.3 ALL Numbers and proofs | 511.3 ALL Logical reasoning with diagrams | 511.3 AMA Domains and lambda-calculi |
Includes bibliographical references (p. 361-369) and indexes
There are no comments on this title.