On the definition of substitution, replacement and allied notions in a abstract formal system

pp. 251-269


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

Not implemented yet !