Your search returned 8 results.

Results
1.	Image from Amazon.com	Computability and logic / George S. Boolos, Richards C. Jeffrey. by Boolos, George S Jeffrey, Richard C Edition: 3rd. ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1989 repr. 1999 Availability: Items available for loan: Main Library - IDA (1)Call number: 511.3 BOO. Place hold Save to lists Add to cart (remove)
2.		The theory of computer science : a programming approach / by J . M Brady. by Brady, J. M Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Chapman and Hall , 1977 Availability: Items available for loan: College of Computing and Information Science - COCIS (6)Call number: 001.64 BRA, ... Main Library - IDA (1)Call number: 001.64 BRA. 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: Items available for loan: Main Library - IDA (1). Place hold Save to lists Add to cart (remove)
4.	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)
5.	Image from Amazon.com	Computability and logic/ George George, John P. Burgess and Jeffr ey Richard by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1974 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 511.352 BOO. Place hold Save to lists Add to cart (remove)
6.	Image from Amazon.com	Computability and logic/ George George, John P. Burgess and Jeffr ey Richard by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1974 Availability: No items available. Save to lists Add to cart (remove)
7.	Image from Amazon.com	Computability and logic/ George George, John P. Burgess and Jeffr ey Richard by Boolos, George Burgess, John P, 1948- Jeffrey, Richard C Material type: Text Publication details: Cambridge ; New York : Cambridge University Press, 1974 Availability: No items available. Save to lists Add to cart (remove)
8.	Image from Amazon.com	Introduction to languages and the theory of computation / John C . Martin. by Martin, John C Edition: 4th ed. Material type: Text Publication details: New York : McGraw Hill, 2011 Availability: Items available for loan: Jinja Campus (1)Call number: 511.3 MAR. Place hold Save to lists Add to cart (remove)