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; Szaniawski, Klemens; Wojcicki, Ryszard (Synthese library ;, 1976)