The collected papers of Gerhard Gentzen (Amsterdam North-Holland Publishing Company, 1969)
Keywords: Logic, Symbolic and mathematical