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 /
edited by Marian Przelecki, Klemens Szaniawski, and Ryszard Wojcicki
- Dordrecht : D. Reidel Pub., 1976
- 457 p. : ill. ; 23 cm.
- Synthese library ; v. 103 .