not needed for a rigorous development of constructive mathematics. I then end with a presentation of the current view of constructive mathematics: mathematics done using intuitionistic logic, view which, surprisingly, does not rely on any explicit notion of algorithm." /> Recursive functions and constructive mathematics - Coquand Thierry | sdvig press

Recursive functions and constructive mathematics

Thierry Coquand

pp. 159-167

Full Text
Download
Other Editions

Text

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

Not implemented yet !