The semi Heyting-Brouwer logic
scientific article; zbMATH DE number 6482423
scientific article