Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings - Sergei N. Artemov, Anil Nerode ((Lecture Notes in Computer Science))