Title: What is a logical system?
Subjects: Symbolic and mathematical Logic, Computer science, Logic, symbolic and mathematical