Metamathematics,machines,and Godel's proof
Material type:
TextLanguage: English Series: Cambridge tracts in theoretical computer science; 38Publication details: Cambridge C U P 1994Description: xv,202pISBN: - 0-521-42027-X
- 511.3 Sh528
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 Sh528 (Browse shelf(Opens below)) | Available | 114538 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| 511.3 Sch396 Proof theory | 511.3 Sch415 Proof and computation | 511.3 Sh528 Godel's theorem in focus | 511.3 Sh528 Metamathematics,machines,and Godel's proof | 511.3 Sh529 Intensional mathematics | 511.3 Sh529 Foundation without foundationalism : a case for second-order logic | 511.3 Sh544 Proper forcing |
There are no comments on this title.
Log in to your account to post a comment.
