Gerhard Gentzen (1909-1945)

Previous | Up | Next

Article

Gerhard Gentzen (1909-1945). (Czech) [Gerhard Gentzen (1909-1945)]. Pokroky matematiky, fyziky a astronomie, vol. 37 (1992), issue 5, pp. 249-257

MSC: 01A60, 01A70, 03-03 | MR 1211130 | Zbl 0784.01044