Logical Foundations of Computer Science - Artemov; Anil Nerode; Nerode, Anil (Springer International Publishing, 2018)