4. Theoretical background and bibliography

  1. Introduction
  2. Natural deduction calculi
  3. Sequent calculi
  4. Automatic theorem proving
  5. Differences between the various logics
  6. Bibliography