On the estimation of the length of normal derivations
By: Luiz Carlos P.D. Pereira.
Series: Philosophical studies ;; 4; Filosofiska studier (Stockholms universitet. Filosofiska institutionen) ;; 4.
Publisher: Akademilitteratur
Published: 1982
Place of publication: Stockholm
Language: eng
Number of pages: 102
Subjects: Proof theory.; Normal forms (Mathematics)
Notes: Bibliography: p. 99-100.