The collected papers of Gerhard Gentzen [translated from the German]
Gentzen, Gerhard.
Szabo, M. E.
Amsterdam London North-Holland Publishing
1969
bibl
Gentzen, Gerhard.
Logic, Symbolic and mathematical.