Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp.
By: Sudkamp, Thomas A
.
Material type: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
![]() |
Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 S943 (Browse shelf) | Available | Recat | 148164 |
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 S839m Matrix logic / | 511.3 S875 Sets, logic, and axiomatic theories / | 511.3 S875 Sets, logic, and axiomatic theories / | 511.3 S943 Languages and machines : | 511.3 S959 Axiomatic set theory / | 511.3 T641c Constructivism in mathematics: | 511.3 T843c Constructivism in mathematics : |
Includes index.
There are no comments for this item.