Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings - Sergei Artemov, Anil Nerode ((Lecture Notes in Computer Science))