Logical Foundations of Computer Science - Artemov (Springer Berlin Heidelberg, 2013)