MATH 571 - MATHEMATICAL LOGIC