Mathematical logic for computer science
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library | 005.131 BEN(MAT) (Browse shelf(Opens below)) | 1 | Available | 4932 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
![]() |
No cover image available |
![]() |
![]() |
![]() |
![]() |
![]() |
||
005.13 TAT(SEV) Seven Languages in Seven Weeks: a pragmatic guide to learning programming languages | 005.13 WAT(PRO) Programming language design concepts | 005.131 AND(AUT) Automata theory with modern applications | 005.131 BEN(MAT) Mathematical logic for computer science | 005.131 BEN(MAT) Mathematical logic for computer science | 005.131 EIJ(COM) Computational Semantics with Functional Programming | 005.131 GHO(INT) Introduction to theory of automata, formal languages, and computation |
83/08-07-08
There are no comments on this title.