Formal number theory and computability a workbook by Alec Fisher
By: Fisher, Alec.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
![]() |
Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 F533f (Browse shelf) | Available | 013323 |
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 |
![]() |
||
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 | 511.3 F799f 1973 Foundations of set theory / | 511.3 F889 The language of logic / | 511.3 F893c Categories, allegories / |
Includes index
0198531788
There are no comments for this item.