Sergei Artemov, Anil Nerode Logical Foundations of Computer Science - Springer 2016 - Lecture Notes in Computer Science . ISBN: 9783319276830 Subjects--Index Terms: Mathematical Logic and Formal Languages