Computability & unsolvability
Material type:
- 0486614719
- 511.3 19 DAV-C
- QA9.615 .D38 1982
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Mathematics | 511.3 DAV-C (Browse shelf(Opens below)) | Available | 001788 |
Total holds: 0
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.15 GOO-D Discrete mathematics with graph theory | 511.3 BAA-K Kurt Godel and the foundations of mathematics : | 511.3 CHE-B Beyond infinity : an expedition to the outer limits of mathematics | 511.3 DAV-C Computability & unsolvability | 511.3 END-E Elements of set theory | 511.3 END-M A mathematical introduction to logic | 511.3 END-M A mathematical introduction to logic |
Reprint. Originally published: New York : (McGraw-Hill, 1958. McGraw-Hill series in information processing and computers. With new pref. and appendix)
Includes index.
Bibliography: p. 237-241.
There are no comments on this title.