Books in “Computer Science Foundations and Applied Logic”