Fichier:Rieger-Nishimura.svg
Taille de cet aperçu PNG pour ce fichier SVG : 560 × 480 pixels. Autres résolutions : 280 × 240 pixels | 896 × 768 pixels | 1 195 × 1 024 pixels | 2 389 × 2 048 pixels.
Fichier d’origine (Fichier SVG, nominalement de 560 × 480 pixels, taille : 6 kio)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
| Description | Hasse diagram of the Rieger–Nishimura lattice: the free Heyting algebra over one generator, or intuitionistic propositional formulas in one variable. It is the dual of the Rieger–Nishimura ladder. |
| Date | |
| Source | Travail personnel |
| Auteur | EmilJ |
Conditions d’utilisation
Moi, en tant que détenteur des droits d’auteur sur cette œuvre, je la publie sous les licences suivantes :
|
Vous avez la permission de copier, distribuer et modifier ce document selon les termes de la GNU Free Documentation License version 1.2 ou toute version ultérieure publiée par la Free Software Foundation, sans sections inaltérables, sans texte de première page de couverture et sans texte de dernière page de couverture. Un exemplaire de la licence est inclus dans la section intitulée GNU Free Documentation License. |
Ce fichier est sous licence Creative Commons Attribution - Partage Dans Les Mêmes Conditions 4.0 International, 3.0 Non Transposé, 2.5 Générique, 2.0 Générique et 1.0 Générique.
- Vous êtes libre :
- de partager – de copier, distribuer et transmettre cette œuvre
- d’adapter – de modifier cette œuvre
- Sous les conditions suivantes :
- paternité – Vous devez donner les informations appropriées concernant l'auteur, fournir un lien vers la licence et indiquer si des modifications ont été faites. Vous pouvez faire cela par tout moyen raisonnable, mais en aucune façon suggérant que l’auteur vous soutient ou approuve l’utilisation que vous en faites.
- partage à l’identique – Si vous modifiez, transformez ou vous basez sur cet élément, vous devez distribuer votre contribution sous une [[ccorg:share-your-work/licensing-considerations/compatible-licenses
Vous pouvez choisir l’une de ces licences.
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 7 avril 2008 à 15:08 | | 560 × 480 (6 kio) | EmilJ | {{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= | |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur ar.wikipedia.org
- Utilisation sur de.wikipedia.org
- Utilisation sur en.wikipedia.org
- Utilisation sur id.wikipedia.org
- Utilisation sur it.wikipedia.org
- Utilisation sur ja.wikipedia.org
- Utilisation sur ko.wikipedia.org
- Utilisation sur uk.wikipedia.org
- Utilisation sur zh.wikipedia.org
