The logic of empirical theories - Przelecki, Marian (Monographs in modern logic series, 1969)