Proof theory : an introduction - Pohlers, Wolfram (Berlín : Springer, 1964)
En: Lecture notes in mathematics. -- Berlin : Springer, 1964- . v. 1407
Keywords: LOGICA, SIMBOLICA Y MATEMATICA