GNU 자유 문서 사용 허가서 1.2판 또는 자유 소프트웨어 재단에서 발행한 이후 판의 규정에 따라 본 문서를 복제하거나 개작 및 배포할 수 있습니다. 본 문서에는 변경 불가 부분이 없으며, 앞 표지 구절과 뒷 표지 구절도 없습니다. 본 사용 허가서의 전체 내용은 GNU 자유 문서 사용 허가서 부분에 포함되어 있습니다.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
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= |