Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{ Computer science } and su-to:Computer science and location:REF and location:REF and su-to:Logic, Symbolic and mathematical'

	1.	Discrete mathematics and its applications by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format: print ; Literary form: not fiction Publisher: New Delhi : McGraw Hill, ©2007Online access: Table of contents Availability: Items available for loan: IIITD [511 ROS-D] (15). Items available for reference: IIITD [REF 511 ROS-D] (1). --> Place hold Add to cart (remove)
	2.	Logic for applications by Nerode, Anil 1932- \| Shore, Richard A 1946-. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, c1997Online access: Publisher description \| Table of contents only Availability: Items available for reference: IIITD [REF 005.1 NER-L] (1). Place hold Add to cart (remove)
	3.	The essence of logic by Kelly, John J. Material type: Book; Format: print ; Literary form: not fiction Publisher: New York : Prentice Hall, ©1996Availability: Items available for loan: IIITD [511.3 KEL-E] (3). Items available for reference: IIITD [REF 511.3 KEL-E] (1). --> Place hold Add to cart (remove)
	4.	Automata, logics, and infinite games by Gradel, Erich \| Thomas, Wolfgang \| Wilke, Thomas. Material type: Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2002Online access: Publisher description Availability: Items available for loan: IIITD [REF 004.015 GRA-A] (1). --> Place hold Add to cart (remove)