MATH 129 Current problems in Mathematical Logic