Sentences undecidable in formalised arithmetic: an exposition of the theory of Kurt Godel.
Material type: TextSeries: Studies in logic and the founsations of mathematics series ; Publication details: Amsterdam North-Holland publ. co. 1952Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | School of Theoretical Physics Library | 511.1 MOS (Browse shelf(Opens below)) | Available | 01538 |
There are no comments on this title.
Log in to your account to post a comment.