Your search returned 23 results.

Sort
Results
1.
Mathematical logic by Series: Undergraduate texts in mathematics
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: German
Publication details: New York : Springer, ©1996
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 EBB-M.

2.
Schaum's outline of the theory and problems of discrete mathematics by Series: Schaum's outline series
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : McGraw-Hill Education, ©1997
Other title:
  • Discrete mathematics
Availability: Items available for loan: IIITD (7)Call number: 511 LIP-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511 LIP-D.

3.
Discrete mathematics and its applications by
Edition: 6th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : McGraw Hill, ©2007
Online access:
Availability: Items available for loan: IIITD (13)Call number: 511 ROS-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511 ROS-D.

4.
Mathematical logic for computer science by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, 2003, c2001
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 BEN-M.

5.
Logic for applications by Series: Graduate texts in computer science (Springer-Verlag New York Inc.)
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c1997
Availability: Not available: IIITD: Loan on demand (1).

6.
A mathematical introduction to logic by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: San Diego : Harcourt/Academic Press, ©2001
Availability: Items available for loan: IIITD (2)Call number: 511.3 END-M, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 END-M. Not available: IIITD: Checked out (2).

7.
Logic for computer scientists by Series: Progress in computer science and applied logic ; v. 8
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: German
Publication details: Boston : Birkhauser, 1989
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 SCH-L.

8.
Set theory and logic by Series: Dover books on advanced mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications, ©1963
Availability: Items available for loan: IIITD (1)Call number: REF 511.322 STO-S.

9.
Infinity and the mind : the science and philosophy of the infinite by Series: Princeton science library
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Princeton, N.J. : Princeton University Press, ©2005
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 RUC-I.

10.
Foundations of mathematical logic by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications, ©1977
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 CUR-F.

11.
Mathematical logic by
Edition: Dover ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Mineola, N.Y. : Dover Publications, ©2002
Online access:
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 KLE-M.

12.
Schaum's outline of theory and problems of discrete mathematics by Series: Schaum's outline series
Edition: Rev. 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : McGraw Hill Education, ©2006
Other title:
  • Discrete mathematics
Availability: Items available for loan: IIITD (1)Call number: 511 LIP-D. Items available for reference: IIITD: Not for loan (1)Call number: REF 511 LIP-D. Not available: IIITD: Withdrawn (1).

13.
A logical introduction to proof by
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publication details: New York : Springer, 2012
SpringerLink ebooks - Mathematics and Statistics (2013)
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 CUN-L.

14.
Automata, logics, and infinite games by Series: Lecture notes in computer science ; 2500
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2002
Online access:
Availability: Items available for loan: IIITD (1)Call number: REF 004.015 GRA-A.

15.
How to prove it : a structured approach by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Cambridge University Press, ©2006
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 VEL-H.

16.
The foundations of mathematics by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: United Kingdom : Oxford University Press, ©2015
Availability: Items available for loan: IIITD (1)Call number: REF 511.3 STE-F.

17.
Logic and structure by Series: Universitext
Edition: 4th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2004
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 DAL-L.

18.
The digital and the real world : computational foundations of mathematics, science, technology, and philosophy by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Jersey : World Scientific, ©2018
Availability: Not available: IIITD: Loan on demand (1).

19.
Set theory by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, ©2002
Availability: Not available: IIITD: Loan on demand (1).

20.
Writing proofs in analysis by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Switzerland : Springer, ©2016
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.36 KAN-W.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in