Theory of formal systems
Material type:
TextLanguage: English Series: Annals of mathematics studies,47Publication details: N J Princeton University Press 1961Description: xiv,142pSubject(s): DDC classification: - 511.3 Sm666
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 Sm666 (Browse shelf(Opens below)) | Available | 56750 |
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 Self-reference and modal logic | 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 |
There are no comments on this title.
Log in to your account to post a comment.
