 In this section we briefly describe both the original systems of  Gentzen[4]  and Jaśkowski as well as a very few of the influential systems that have been introduced in the more recent heyday of elementary logic textbooks.