A substitutional framework for arithmetical validity

Fernando Ferreira

pp. 133-149


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

Not implemented yet !