Mathematical logic
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 TOU(MAT) (Browse shelf(Opens below)) | 1 | Available | 5323 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
No cover image available | ||
005.131 SIP(INT) Introduction to the theory of computation | 005.131 SRI(COU) A course on mathematical logic | 005.131 STR(DOM) Domain-theoretic foundations of functional programming | 005.131 TOU(MAT) Mathematical logic | 005.131 WIN(FOR) The formal semantics of programming languages: an introduction | 005.131 WIN(FOR) The formal semantics of programming languages: an introduction | 005.133 ABE(STR) Structure and interpretation of computer programs |
MC/1/1067/08-09/04-02-09
There are no comments on this title.