On the estimation of the length of normal derivations - Pereira, Luiz Carlos (Philosophical studies. Akademilitteratur ;, 1982)