Mathematical Foundation Of Computer Science