Author(s): Gerhard Gentzen; M E Szabo
Series: Studies in logic and the foundations of mathematics
Publisher: Amsterdam, North-Holland Pub. Co.,
Year: 1970
Language: English
Pages: 350