1_Mathmatical_Logic - its1021/Mathematics-document GitHub Wiki Boolean Algebra Set Theory Model Theory