Natural deduction systems for intuitionistic logic with identity
scientific article; zbMATH DE number 7625359
scientific article