Fichier:Excluded middle proof.png
Pas de plus haute résolution disponible.
Excluded_middle_proof.png (238 × 176 pixels, taille du fichier : 2 kio, type MIME : image/png)
|
Ce fichier et sa description proviennent de Wikimedia Commons. | 
|
Accéder au fichier sur Commons |
Erreur : l’attribut name des indicateurs d’état de la page ne doit pas être vide.
Description
| Description | Proof of the excluded middle law in sequent calculus |
| Date | |
| Source | tex file |
| Auteur | Paul Brauner |
Conditions d’utilisation
|
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
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 | 27 février 2006 à 23:49 | | 238 × 176 (2 kio) | Polux~commonswiki | {{Information |Description = Proof of the excluded middle |Date = 28 feb 2006 |Author = Paul Brauner |other_versions = ''none'' |}} |
Utilisation du fichier
Les 2 pages suivantes utilisent ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur af.wikipedia.org
- Utilisation sur eo.wikipedia.org
- Utilisation sur fr.wikibooks.org
- Utilisation sur ja.wikipedia.org
