Combining first-order classical and intuitionistic logic
scientific article; zbMATH DE number 7964350
scientific article