Papers of Gerhard Gentzen, North-Holland (1969)

by Collected