Logical Foundations of Computer Science. 1st ed. 2018 - Artemov, Sergei (Springer International Publishing, 2020)