Intuitionistic algebra theory and sheaf models - Ruitenburg, W.B.G. (Willem Bastiaan Gijsbertus) (s.n.], 1982)