Title: Abstracts of the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, July 11th-16th, 1983