Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 SMO (Browse shelf (Opens below)) | Available | 20983 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510.6 SLU Elements of mathematical logic and set theory | 510.6 SMI Introduction to formal logic | 510.6 SMI Introduction to Godel's theorems | 510.6 SMO Self-reference and model logic | 510.6 SMU Recursion Theory for Metamathematics | 510.6 SMU Diagonalization and Self-Reference | 510.6 SMU Theory of formal systems |
B31 M51
There are no comments on this title.