Introduction to formal logic
Material type: TextPublication details: Cambridge ; Cambridge University Press ; 2003Description: p. cmISBN: 0521008042Subject(s): LogicCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 SMI (Browse shelf (Opens below)) | Available | 50119 |
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 |
There are no comments on this title.