Length and structure of proofs

Rohit Parikh

pp. 41-48


This document is unfortunately not available for download at the moment.

Not implemented yet !