Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 SAC (Browse shelf (Opens below)) | Available | 26860 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available |
![]() |
![]() |
No cover image available |
![]() |
![]() |
![]() |
||
510.6 SAC Degrees of unsolvability | 510.6 SAC Saturated model theory | 510.6 SAC Saturated model theory | 510.6 SAC Higher recursion theory | 510.6 SAC Mathematical logic in the 20th century | 510.6 SAC Saturated model theory | 510.6 SAN Advanced topics in bisimulation and coinduction / |
D6,8(B) N04
There are no comments on this title.