411 REFERENCE · Wiktionary
Gentzenian
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
From en de:Gentzen ian.
Adjective
Of or relating to Gerhard Gentzen (1909–1945), German mathematician and logician.
Related terms
en Gentzenize
en Gentzenization
en eponyms