Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Godel
Material type:
TextSeries: Studies in logic and the foundations of mathematicsPublication details: Amsterdam; North-Holland Publishing Company; 1957Description: 117
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 510.6 MOS (Browse shelf(Opens below)) | Available | 168 |
There are no comments on this title.
Log in to your account to post a comment.