Your search returned 2 results.

Results
			No cover image available LOGIC AND COMPUTATION : INTERACTIVE PROOF WITH CAMBRIDGE LCF by PAULSON L.C Language: English Publication details: CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS ; 1987 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 004.0151 P18. Place hold Add to cart (remove)
			ML FOR THE WORKING PROGRAMMER by PAULSON L.C Edition: 2nd ed. Language: English Publication details: CAMEBRIDGE : UNIVERSITY ; 1996 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.133 P18. Place hold Add to cart (remove)

Refine your search