Logical Foundations of Computer Science: International Symposium, Lfcs 2007 New York, NY, USA, June 4-7, 2007 Proceedings

Sergei N Artemov , Anil Nerode