Self-reference and modal logic / by C. Smorynski
Material type:
TextLanguage: English Series: UniversitextPublication details: New York: Springer Verlag, 1985. Description: ix, 333pISBN: 3540962093Subject(s): Arithmetic | Math | Modal logic | ProvabilityDDC classification: 511.3
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY | 511.3 SMO/S (Browse shelf(Opens below)) | Available | 71354 |
Browsing PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY shelves Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| 511.3 SIP/I Introduction to the Theory of Computation | 511.3 SIP/T Theory of computation | 511.3 SIP/T Theory of computation | 511.3 SMO/S Self-reference and modal logic | 511.3 TAR/S Undecidable Theories | 511.3 YEN/F Fuzzy logic : Intelligence, control, and information | 511.3 YEN/F Fuzzy logic : Intelligence, control, and information |

Books
There are no comments on this title.