Godel's theorems : a workbook on formalization
Language: English Series: Publication details: Stuttgart ; B.G. Teubner Verlagsgesellschaft, ; 1991Edition: Description: 292 p; 20 cmISBN: 3-8154-2023-710Subject(s): | Godel's theoremItem type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
Central Library, IITB | 517.1 Hub | Available | 168311 |
Total holds: 0
There are no comments on this title.