Constructivity and Computability in Historical and Philosophical Perspective (Logic, Epistemology, and the Unity of Science, Band 34)