PKK Library catalog › Results of search for 'au:"Paulson, Lawrence C."'

	1.	Logic and computation : interactive proof with Cambridge LCF by Paulson, Lawrence C. Material type: Book; Format: print ; Literary form: not fiction Description: ix, 302p.Publisher: Cambridge Cambridge University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P285l] (1). Place hold Add to cart (remove)
	2.	ML FOR THE WORKING PROGRAMMER by Paulson, Lawrence C. Edition: 2ndMaterial type: Book; Format: print ; Literary form: not fiction Description: xviii, 476p.Publisher: Cambridge Cambridge Univ. Press 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 P285m2] (1). Place hold Add to cart (remove)
	3.	ML for the working programmer by Paulson, Lawrence C. Material type: Book; Format: print ; Literary form: not fiction Description: x, 429p.Publisher: Cambridge Cambridge University Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P285m] (1). Place hold Add to cart (remove)

PKK Library