Deducibility and decidability
Language: English Series: Publication details: ; London : Routledge, 1990 ; 1990Edition: Description: viii,162 p; 22 cmISBN: 0-415-00033-51Subject(s): | Logic, Symbolic and mathematical | Decidability (Mathematical logic)Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 16 Gil | Available | G01A41 | 171824 |
Total holds: 0
There are no comments on this title.