diagramme de Hasse du treillis de Rieger–Nishimura: l’algèbre de Heyting libre sur un seul générateur, ou des formules de la logique intuitionnite propositionnelle d’une seule variable
{{Information |Description=Hasse diagram of the Rieger-Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable |Source=self-made |Date=2008-04-06 |Author= EmilJ |Permission= |