An introduction to the different types of deductive systems used in logic, including natural deduction and sequent calculus.