THEORY OF FORMAL SYSTEMS
By: Smullyan, Raymond M.
Material type: BookSeries: Annals Of Mathematics Studies, No. 47. Publisher: Princeton, N. J. Princeton University Press 1961Description: 142.Subject(s): Recursive Functions | MetamathematicsDDC classification: 510 | An72Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 510 An72 (Browse shelf) | Available | 55517 |
Total holds: 0
A Revision Of The Author'S Recent Doctoral Dissertation -- [Princeton]
There are no comments for this item.