Logic and computation : interactive proof with cambridge LCF

By: Paulson, Lawrence CContributor(s): 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 processing
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
681.3:517.1 Pau Available G56A07 159760
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha