https://filesoo.com/product/83927/discrete-mathematics-for-computer-science