PHILOS 571 - MATHEMATICAL LOGIC