Complexity, logic and recursion theory
Material type: TextLanguage: English Series: Lecture notes in pure and applied mathematics; v 187Publication details: New York Marcel Dekker 1997Description: viii,363pISBN:- 0-8247-0026-0
- 511.3 So713
Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|
Books | ISI Library, Kolkata | 511.3 So713 (Browse shelf(Opens below)) | Available | 117773 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
511.3 Sm666 Godel's incompleteness theorems | 511.3 Sm666 Logical labyrinths | 511.3 Sm666 Theory of formal systems | 511.3 So713 Complexity, logic and recursion theory | 511.3 So727 Logic conference | 511.3 Sp746 Laws of form | 511.3 Sr774 Course on mathematical logic |
There are no comments on this title.
Log in to your account to post a comment.