Logic: a Brief Course