Your search returned 4 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 Amazon.com Image from Google Jackets Image from OpenLibrary Image from Baker & Taylor	Examples and theorems in analysis Walker Peter by Walker Peter Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: London Springer-Verlag USA 2004 Availability: Items available for loan: Central Science Library (1)Collection, call number: B3 P4. Place hold Save to lists Add to cart (remove)
	3.	Image from Google Jackets Image from OpenLibrary	Calculus Munroe M Evans by Munroe M Evans Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: Philadelphia W B Saunders 1970 Availability: Items available for loan: Central Science Library (1)Collection, call number: B32 L0. Place hold Save to lists Add to cart (remove)
	4.	Image from Google Jackets Image from OpenLibrary	Linear algebra and multivariable calculus Feeman George F; Grabois Neil R by Feeman George F Grabois Neil R Material type: Text; Format: print regular print ; Literary form: Not fiction Language: English Publication details: 1970 Availability: Items available for loan: Central Science Library (1)Collection, call number: B25:1 L02. Place hold Save to lists Add to cart (remove)