Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson.
By: Paulson, Lawrence C.
Material type: TextPublisher: Cambridge ; Cambridge University Press, 1987Description: xiii, 302 p.ISBN: 0521346320.Subject(s): Cambridge LCF (Computer system)DDC classification: 004.125Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 004.125 P2857 Lo (Browse shelf(Opens below)) | Available | 152015 |
There are no comments on this title.