Media type: Book Title: Selected papers in proof theory Contributor: Mints, G. E. [Author] imprint: Napoli [u.a.]: Bibliopolis [u.a.], 1992 Published in: Studies in proof theory / Monographs ; 3 Extent: 294 S. Language: English ISBN: 8870882284; 0444896198 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematical logic ; Proof theory Origination: Footnote: Includes bibliographical references