Foundation Mathematics for Computer Science : A Visual Approach - Vince, John (Springer, 2023)