Your search returned 3 results.

Results
	1.	Image from Amazon.com Image from Google Jackets Image from OpenLibrary Image from Baker & Taylor	Calculus of computation: Decision procedures with applications to verification by Bradley Aaron R; Manna Zohar by Bradley Aaron R Manna Zohar Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(B32) P7 TD. Place hold Save to lists Add to cart (remove)
	2.	Image from Google Jackets Image from OpenLibrary	Logical basis for computer programming Manna Zohar; Waldinger Richard by Manna Zohar Waldinger Richard Series: Addison-Wesley series in computer sciences Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Reading Addison-Wesley Pub 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M5.2. Place hold Save to lists Add to cart (remove)
	3.	Image from Google Jackets Image from OpenLibrary	Logical basis for computer programming Manna Zohar; Waldinger Richard by Manna Zohar Waldinger Richard Series: Addison-Wesley series in computer science Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Reading Addison-Wesley Pub 1985 Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M5.1. Place hold Save to lists Add to cart (remove)