Mathematical Foundations Of Computer Science