logical foundations of computer science: international symposium, lfcs 2013, san diego, ca, usa, january 6-8, 2013. proceedings (en Inglés)

Artemov, Sergei ; Nerode, Anil · Springer