Theory of Logical Calculi: basic theory of consequence operations (1988)

by Ryszard Wójcicki