Stav dette: Foundation Mathematics for Computer Science