FEEDBACK Smiley face

Your search returned 9 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] (15).
Items available for reference: IIITD [REF 511 ROS-D] (1).

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. Kurt Godel and the foundations of mathematics : horizons of truth

by Baaz, Matthias.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2011Online access: Table of contents only Availability: Items available for loan: IIITD [511.3 BAA-K] (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. Qualitative and Quantitative Practical Reasoning [electronic resource] :First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings /

by Gabbay, Dov M [editor.] | Kruse, Rudolf [editor.] | Nonnengart, Andreas [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available

6. Reverse mathematics : proofs from the inside out

by Stillwell, John.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Princeton : Princeton University Press, 2018Availability: No items available
Checked out (1).

7. What is the name of this book? : the riddle of Dracula and other logical puzzles

by Smullyan, Raymond M.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Dover, ©1978Online access: Publisher description Availability: Items available for loan: IIITD [793.73 SMU-W] (1).

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

9. A first journey through logic

by Hils, Martin | Loeser, Fancois.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Rhode Island : AMS, ©2019Availability:
Items available for reference: IIITD [REF 511.3 HIL-F] (1).


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