Alpha conversion, conditions on variables and categorical logic
sequent formulation of natural deduction
scientific article; zbMATH DE number 4148086
scientific article