FEEDBACK Smiley face

Your search returned 8 results. Subscribe to this search

|
1. Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book 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] (12).
Items available for reference: IIITD [REF 511 ROS-D] (1).
Checked out (3).

2. Logic for applications

by Nerode, Anil 1932- | Shore, Richard A 1946-.

Edition: 2nd ed.Material type: book 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).

3. Mathematical logic

by Kleene, Stephen Cole.

Edition: Dover ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Mineola, N.Y. : Dover Publications, ©2002Online access: Publisher description Availability: Items available for loan: IIITD [REF 511.3 KLE-M] (1).

4. A logical introduction to proof

by Cunningham, Daniel W.

Source: SpringerLink ebooks - Mathematics and Statistics (2013)Material type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: New York : Springer, 2012Availability: Items available for loan: IIITD [REF 511.3 CUN-L] (1).

5. Automata, logics, and infinite games

by Gradel, Erich | Thomas, Wolfgang | Wilke, Thomas.

Material type: book 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).

6. How to prove it : a structured approach

by Velleman, Daniel J.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Cambridge University Press, ©2006Availability: Items available for loan: IIITD [REF 511.3 VEL-H] (1).

7. Is god a mathematician?

by Livio, Mario.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Simon & Schuster, ©2009Availability: Items available for loan: IIITD [510 LIV-I] (1).

8. The digital and the real world : computational foundations of mathematics, science, technology, and philosophy

by Mainzer, Klaus.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Jersey : World Scientific, ©2018Availability:
Items available for reference: IIITD [REF 510.1 MAI-D] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in