Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings Ramanujam, R. Heftet / 2008 / Engelsk
