Proof Theory of Arithmetic
Subtitle: Results and Applications
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: December 30, 1997
Format: Hardcover
Number of pages: 300
ISBN-13: 9783540570653