FEEDBACK Smiley face

Your search returned 9 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. 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).

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

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

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

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

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

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

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


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