Mathematical Foundations of Computer Science, Revised and Updated