Theory of logical calculi: Basic theory of consequence operations 1988 · ENGLISH · DJVU View details →