The collected papers of Gerhard Gentzen.
By: Edited by M. E. Szabo.
Contributors: Szabo, M. E.
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co.
Published: 1969
Place of publication: Amsterdam
Language: eng; ger
Number of pages: 338
Subjects: Logic, Symbolic and mathematical -- Collected works.; Metamathematics -- Collected works.
Notes: Includes bibliographical references.