Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject

afterthoughts on a Parisian joint session

Göran Sundholm

pp. 1-35


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

Not implemented yet !