Covers the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false; logical consequence of one formula from others; the soundness & completeness theorems connecting logical consequence & formal proof; the axiomatization of some theories using a formal language; & more.