[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science Volume 104 || Constructive Mathematics and Computer Programming