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