Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 - Dorn, Georg; Weingartner, Paul; Marcus, Ruth Barcan (Studies in logic and the foundations of mathematics ;, 1986)