A First Course in Logic -- An introduction to model theory, proof theory, computability, and complexity SHAWN HEDMAN