Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic.