discrete-mathematics-and-mathematical-logic