What Is a Logical System? (Studies in Logic and Computation)