FEEDBACK Smiley face

Your search returned 35 results. Subscribe to this search

|
21. Logic design theory

by Biswas, Nripendra Nath 1928-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi. : PHI Learning, ©1993Availability: Items available for loan: IIITD [621.395 BIS-L] (1).

22. 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).

23. Introduction to mathematical computer science

by Viswanath, Kasturi.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hyderabad : Universities Press, ©2008Availability: Items available for loan: IIITD [511.3 VIS-I] (1).

24. Set theory and the continuum hypothesis

by Cohen, Paul J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York. : Dover, ©2008Availability: No items available
Checked out (1).

25. 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).

26. 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).

27. The foundations of mathematics

by Stewart, Ian | Tall, David.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: United Kingdom : Oxford University Press, ©2015Availability:
Items available for reference: IIITD [REF 511.3 STE-F] (1).

28. Tractatus logico-philosophicus

by Wittgenstein, Ludwig | Amazon.in.

Edition: Kindle ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Chiron Academic Press, ©1992Availability: Items available for loan: IIITD [Kindle] (1).

29. Logic and structure

by Dalen, Dirk van.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2004Online access: Contributor biographical information | Publisher description | Table of contents only Availability:
Items available for reference: IIITD [REF 511.3 DAL-L] (1).

30. 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).

31. Set theory

by Jech, Thomas J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2002Availability:
Items available for reference: IIITD [REF 511.322 JEC-S] (1).

32. Toposes and local set theories : by an introduction

by Bell, J. L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications Inc., ©1988Availability: Items available for loan: IIITD [511.32 BEL-T] (1).

33. Writing proofs in analysis

by Kane, Jonathan Michael.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Switzerland : Springer, ©2016Availability:
Items available for reference: IIITD [REF 511.36 KAN-W] (1).

34. Reasoning about uncertainty

by Halpern, Joseph Y.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Massachusetts : MIT ©2005Availability: Items available for loan: IIITD [003.54 HAL-R] (1).

35. Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : McGraw Hill, ©2003Availability: Items available for loan: IIITD [511 ROS-D] (1).


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