Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings - Artemov, S. N.; Nerode, Anil, 1932- (Lecture notes in computer science (Springer) ., 2007)