TY  - BOOK
AU  - Artemov, Sergei
AU  - Nerode, Anil  Eds.,
TI  - Logical foundations of Computer Science
T2  - Lecture Notes in Computer Science
SN  - 9783319276823
PY  - 2016///
PB  - Springer
ER  -