Title: Foundation Mathematics for Computer Science