| Deutsch | deu-000 |
| Gerhard Gentzen | |
| 普通话 | cmn-000 | 格哈德·根岑 |
| 國語 | cmn-001 | 格哈德·根岑 |
| English | eng-000 | Gerhard Gentzen |
| français | fra-000 | Gerhard Gentzen |
| italiano | ita-000 | Gerhard Gentzen |
| 日本語 | jpn-000 | ゲルハルト・ゲンツェン |
| polski | pol-000 | Gerhard Gentzen |
| slovenčina | slk-000 | Gerhard Gentzen |
| español | spa-000 | Gerhard Gentzen |