Mathematical (Symbolic) Logic