Algebres de Heyting monadiques - Monteiro, Antonio A. (Notas de logica matematica ;, 1974)