Your search returned 9 results.

Results
1.	Image from Amazon.com	Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson. by Paulson, Lawrence C Series: Cambridge tracts in theoretical computer science ; 2 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 1987 Online resources: Sample text Publisher description Table of contents Availability: Items available for loan: Main Library - IDA (1). Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	ML for the working programmer / Laurence [i.e. Lawrence] C. Pauls on. by Paulson, Lawrence C Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1991, repr. 1992 Availability: Items available for loan: Main Library - IDA (4)Call number: 005.133 PAU, ... Place hold Save to lists Add to cart (remove)
3.	Image from Amazon.com	Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson. by Paulson, Lawrence C Series: Cambridge tracts in theoretical computer science ; 2 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 1987 Online resources: Sample text Publisher description Table of contents Availability: No items available. Save to lists Add to cart (remove)
4.	Image from Amazon.com	ML for the working programmer / Laurence [i.e. Lawrence] C. Pauls on. by Paulson, Lawrence C Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1991, repr. 1992 Availability: No items available. Save to lists Add to cart (remove)
5.	Image from Amazon.com	ML for the working programmer / Lawrence C. Paulson. by Paulson, Lawrence C Edition: 2nd ed. Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1996 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 005.133 PAU. Place hold Save to lists Add to cart (remove)
6.	Image from Amazon.com	ML for the working programmer / Lawrence C. Paulson. by Paulson, Lawrence C Edition: 2nd ed. Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1996 Availability: No items available. Save to lists Add to cart (remove)
7.	Image from Amazon.com	ML for the working programmer / Lawrence C. Paulson. by Paulson, Lawrence C Edition: 2nd ed. Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1996 Availability: No items available. Save to lists Add to cart (remove)
8.	Image from Amazon.com	ML for the working programmer / Lawrence C. Paulson. by Paulson, Lawrence C Edition: 2nd ed. Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1996 Availability: No items available. Save to lists Add to cart (remove)
9.	Image from Amazon.com	ML for the working programmer / Lawrence C. Paulson. by Paulson, Lawrence C Edition: 2nd ed. Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1996 Availability: No items available. Save to lists Add to cart (remove)