FEEDBACK Smiley face

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


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