Your search returned 3 results.

Results
	1.	Computer science logic by Borger, E Jager, G Buning, H Material type: Text Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: Goa University Library (1)Call number: 511.3 BOR/Com. Add to cart (remove)
	2.	Computation engineering : Ganesh Gopalakrishnan applied automata theory and logic / by Gopalakrishnan, Ganesh [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, NY : Springer, 2009 Online resources: Click here to access online Availability: Items available for loan: Goa University Library (1)Call number: 004.0151 GOP/Com. Add to cart (remove)
	3.	Proofs and Algorithms: Introduction to Logic and Computability Theory. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag; London; 2011 Online resources: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: Goa University Library (1)Call number: 005.131 DOW/Pro. Add to cart (remove)

Refine your search