MATHEMATICAL LOGIC
(MHF 5306)