Author(s): Gerhard Gentzen
Series: Studies in logic and the foundations of mathematics
Publisher: North-Holland Pub. Co
Year: 1969
Language: English
Pages: 350
City: Amsterdam