Extensions of the minimal logic and the interpolation problem
scientific article; zbMATH DE number 6976645
scientific article