Pohlers Wolfram

Proof theory: an introduction Pohlers Wolfram - Berlin Springer Verlag 1989 - 213p. cm. - Lecture notes in mathematics; 1407 .

40038

Textual


Mathematical logic

B:(R1), M9