Title: Discrete and Logic Mathematics