Around 1930, Alfred Tarski developed an abstract theory of logical deductions which models some properties of logical calculi.
Около 1930 г. Альфред Тарский разработал абстрактную теорию дедукции, моделирующую некоторые свойства логических исчислений.