Media type: Book Title: Bounded arithmetic Contributor: Buss, Samuel R. [Author] imprint: Napoli: Bibliopolis, 1986 Published in: Studies in proof theory / Lecture notes ; 3 Extent: 221 S Language: English ISBN: 8870881504 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Berechnungskomplexität > Peano-Arithmetik Komplexitätstheorie Origination: Footnote: Zugl. überarb. Diss