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 - Przełęcki, Marian 1923-2013 (Reidel, 1976)