Fichier:LK dem contraposition.png
Pas de plus haute résolution disponible.
LK_dem_contraposition.png (298 × 115 pixels, taille du fichier : 3 kio, type MIME : image/png)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
| Description | Mathematical formula: an example of a proof in sequent calculus LK |
| Date | |
| Source | tex file |
| Auteur | Laurent Regnier |
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 | 4 janvier 2006 à 18:53 | | 298 × 115 (3 kio) | Lregnier | Category:Logics {{Information |Description = Mathematical formula: an example of a proof in sequent calculus LK |Source = tex file |Date = 2006/01/04 |Author = Laurent Regnier |Permission = |other_versions = <i>none</i> |}} |
Utilisation du fichier
La page suivante utilise ce fichier :
