Mathematics for the Analysis of Algorithms, Progress in Computer Science and Applied Logic, Vol 1