num_pages: 338
description:  English, German (translation)
language: English
title: The collected papers of Gerhard Gentzen
publisher: North-Holland Pub. Co