https://filesoo.com/product/21633/discrete-mathematics-lecture-notes-incomplete-preliminary-version-