FEEDBACK Smiley face

Your search returned 29 results. Subscribe to this search

|
1. Mathematical logic

by Ebbinghaus, Heinz-Dieter | Flum, Jorg | Thomas, Wolfgang.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©1996Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [REF 511.3 EBB-M] (1).

2. Schaum's outline of the theory and problems of discrete mathematics

by Lipschutz, Seymour | Lipson, Marc.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : McGraw-Hill, ©1997Other title: Discrete mathematics.Online access: Contributor biographical information | Publisher description | Table of contents Availability: Items available for loan: IIITD [511 LIP-D] (5).
Items available for reference: IIITD [REF 511 LIP-D] (1).
Checked out (1).

3. 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] (6).
Checked out (5). On hold (3).

4. Mathematical logic for computer science

by Ben-Ari, M.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, 2003, c2001Online access: Publisher description | Table of contents only Availability:
Items available for reference: IIITD [REF 511.3 BEN-M] (1).

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

6. Elements of the theory of computation

by Lewis, Harry R | Papadimitriou, Christos H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : PHI, c1998Availability: Items available for loan: IIITD [511 LEW-E] (1).

7. Essence of logic

by Kelly, John J. (John Joseph) 1940 November 23-1995..

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London ; New York : Prentice Hall, 1996Other title: Logic.Availability: Items available for loan: IIITD [511.3 KEL-E] (2).
Items available for reference: IIITD [REF 511.3 KEL-E] (1).

8. A mathematical introduction to logic

by Enderton, Herbert B.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: San Diego : Harcourt/Academic Press, c2001Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 END-M] (2).
Items available for reference: IIITD [REF 511.3 END-M] (1).
Checked out (1).

9. A course on mathematical logic

by Srivastava, S. M. (Shashi Mohan) | Gödel, Kurt.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, c2008Online access: Table of contents Availability: Items available for loan: IIITD [511.3 SRI-C] (1).

10. Logic for computer scientists

by Schoning, Uwe 1955-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston : Birkhauser, 1989Availability: Items available for loan: IIITD [REF 511.3 SCH-L] (1).

11. Introduction to elementary mathematical logic

by Stolyar, A. A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1984Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 STO-I] (1).

12. First course in mathematical logic

by Suppes, Patrick | Hill, Shirley A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Mineola, N.Y. : Dover Publications, ©2002Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 SUP-F] (1).

13. Set theory and logic

by Stoll, Robert Roth.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1963Availability: Items available for loan: IIITD [REF 511.322 STO-S] (1).

14. Infinity and the mind : the science and philosophy of the infinite

by Rucker, Rudy v. B.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Princeton, N.J. : Princeton University Press, ©2005Online access: Publisher description | Table of contents only | Contributor biographical information Availability: Items available for loan: IIITD [REF 511.3 RUC-I] (1).

15. Foundations of mathematical logic

by Curry, Haskell B.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1977Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [REF 511.3 CUR-F] (1).

16. Introduction to symbolic logic and its applications

by Carnap, Rudolf.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1958Availability: Items available for loan: IIITD [511.3 CAR-I] (1).

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

18. Tractatus logico-philosophicus.

by Wittgenstein, Ludwig.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Harcourt, Brace, ©1933Availability: Items available for loan: IIITD [192 WIT-T] (1).

19. Schaum's outline of theory and problems of discrete mathematics

by Lipschutz, Seymour | Lipson, Marc.

Edition: Rev. 3rd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : McGraw Hill Education, ©2006Other title: Discrete mathematics.Availability: Items available for loan: IIITD [511 LIP-D] (2).
Items available for reference: IIITD [REF 511 LIP-D] (1).

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


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