Media type: E-Article Title: Studies in Logic and the Foundations of Mathematics: First-Order Proof Theory of Arithmetic Contributor: Buss, Samuel R. Published: Elsevier, 1998 Published in: Studies in Logic and the Foundations of Mathematics (1998), Seite 79-147 Language: Not determined DOI: 10.1016/s0049-237x(98)80017-7 ISBN: 9780444898401 ISSN: 0049-237X Origination: Footnote: