Antonio Monteiro et Oscar Varsavsky . Normalite dans les algebres de Heyting monadiques / Antonio Monteiro . Quantifiers and equivalence relations / Oscar Varsavsky. -- Instituto de Matemática, Universidad Nacional del Sur, 1974. -- (Notas de lógica matemática ; n.1-2-3).