Logic and computation : interactive proof with cambridge LCF
Language: English Series: Publication details: Cambridge ; Cambridge Univ. Press, ; 1987Edition: Description: xiii,302 p; 24 cmISBN: 0-521-39560-79Subject(s): | Logic, Symbolic and mathematical | Computable functions-Data processingItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 681.3:517.1 Pau | Available | G56A07 | 159760 |
Total holds: 0
There are no comments on this title.