Theory of formal logics 并列题名：Theory of formal logics Theory of legal logic theory of relativity theory of knowledge theory of knowledge. theory of computation. theory of automatic control theory, performance, and policy theory of a complex variable