Pohlers Wolfram Proof theory: an introduction Pohlers Wolfram - Berlin Springer Verlag 1989 - 213p. cm. - Lecture notes in mathematics; 1407 . Standard No.: 40038 Source: Textual Subjects--Topical Terms: Mathematical logic Dewey Class. No.: B:(R1), M9