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