Gerhard Gentzen

GPTKB entity