Sentences undedecidable in formalized arithmetic : an expansion of the theory of Kurt Godel
Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematics; 13Publication details: Amsterdam North-Holland 1952Description: 117pSubject(s): DDC classification: - 511.3 St933(13)
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 St933(13) (Browse shelf(Opens below)) | Available | 24960 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| 511.3 St933(1) Solvable cases of the decision problem | 511.3 St933(10) Propositional logic of boethius | 511.3 St933(12) Truth and consequence in mediaeval logic | 511.3 St933(13) Sentences undedecidable in formalized arithmetic : an expansion of the theory of Kurt Godel | 511.3 St933(14) Nomological statements and admissible operations | 511.3 St933(15) On the meta mathematics of algebra | 511.3 St933(16) Many-valued logic |
There are no comments on this title.
Log in to your account to post a comment.
