Basic intuitionistic conditional logic
scientific article; zbMATH DE number 7075014
scientific article