Constructivity, computability, and the continuum. Beeson, M. In Essays on the Foundations of Mathematics and Logic, volume 2. Polimetrica, Milan, 2005.
Constructivity, computability, and the continuum [pdf]Pdf  bibtex   

Downloads: 0