Calcolo delle sequenze

Abstract Gerhard Gentzen (1909-1945) is one of the most illustrious…