Definition, synonyms and related words
Of or relating to Gerhard Gentzen (1909–1945), German mathematician and logician.