Formal Methods in the Methodology of Empirical Sciences. Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974. - Przelecki Marian (Ossolineum, 1976)