Logic, methodology, and philosophy of science VI: Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, ... in logic and the foundations of mathematics)