Philosophy dictionary

GENTZEN'S

Gentzen, Gerhard