Theory of Logical Calculi