Foundation Mathematics for Computer Science