Your search returned 6 results.

Results
	1.	Proofs and algorithms : by Dowek, Gilles Series: Material type: Text Publication details: London ; New York : Springer, 2011 Availability: Items available for loan: Mahindra University VNLRC (1)Call number: 005.131 DOW. Place hold Add to cart (remove)
	2.	Elements of the theory of computation / by Lewis, Harry R Edition: 2nd ed. Material type: Text Publication details: Upper Saddle River, N.J. : Prentice-Hall, 2011 Availability: Items available for loan: Mahindra University VNLRC (2)Call number: 004 LEW, ... Items available for reference: Mahindra University VNLRC: Not for loan (2)Call number: 004 LEW, ... Not available: Mahindra University VNLRC: Checked out (1). Place hold Add to cart (remove)
	3.	Elements of the theory of computation by Lewis, Harry R Papadimitriou, Christos H Edition: 2nd ed. Material type: Text Publication details: New Delhi : PHI, c1998.2014 Availability: Items available for reference: Mahindra University VNLRC: Not for loan (1)Call number: 511 LEW. Add to cart (remove)
	4.	What logics mean: from proof theory to model-theoretic semantics by Garson, James W Publication details: Cambridge Cambridge University Press 2013 Availability: Items available for loan: Mahindra University VNLRC (1)Call number: 160 GAR. Place hold Add to cart (remove)
	5.	The Art of the Intelligible by Bell, John L Material type: Text Availability: Items available for loan: Mahindra University VNLRC (1)Call number: 501 BEL. Place hold Add to cart (remove)
	6.	The reality of numbers : by Bigelow, John Material type: Text Publication details: New York : Oxford University Press, 2001 Online resources: Click here to access online Availability: Items available for reference: Mahindra University VNLRC: Not for loan (1)Call number: 510.1 BIG. Add to cart (remove)