Procedings - Przelecki, Marian; Wójcicki, Ryszard; Szaniawski, Klemens ((Synthese library, 1976)