The computer modelling of mathematical reasoning Alan Bundy
By: Bundy, Alan.
Material type:
BookPublisher: London Academic Press 1983Description: xiv, 322 p. ill 23 cm.Subject(s): Mathematics -- Data processing | Logic, Symbolic and mathematical | Automatic theorem provingDDC classification: 511.3
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Books
|
Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 B942c (Browse shelf) | Available | 037791 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
|
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| 511.3 B248L 1984 The lambda calculus: | 511.3 B433c A course in mathematical logic | 511.3 B766 Theory of sets / | 511.3 B942c The computer modelling of mathematical reasoning | 511.3 C967 Mathematics and logic for digital devices / | 511.3 D331 An introduction to the nature of proof / | 511.3 F533f Formal number theory and computability |
0121412520
There are no comments for this item.