Title: On the estimation of the length of normal derivations /
Authors: Pereira, Luiz Carlos P. D.
Publisher: Akademilitteratur,
Year: 1982
Subjects: Proof theory.; Normal forms (Mathematics)