00706nam0-22002651i-450-990001272930403321000127293FED01000127293(Aleph)000127293FED0100012729320000920d1989----km-y0itay50------baengProof Theory. An Introductionby PohlersBerlin [etc.]Springer-Verlag1989Lecture notes in mathematics1407Pohlers,Wolfram56702ITUNINARICAUNIMARCBK990001272930403321C-20-(14076265MA1MA1Proof theory81534UNINAING01