LC control no. | n 88637476 |
---|---|
Personal name heading | Gentzen, Gerhard |
Found in | LC data base, 5-10-88 (hdg.: Gentzen, Gerhard; usage: Gerhard Gentzen) Logic's lost genius, 2007: CIP t.p. (Gentzen, Gerhard) p. xiii (1909-1945; founder of modern structural proof theory) |