Image:LK dem contraposition.png
Un article de Wikipédia, l'encyclopédie libre.
Pas de plus haute résolution disponible.
LK_dem_contraposition.png (298 × 115 pixels, taille du fichier : 3 Kio, type MIME : image/png)
Historique du fichier
Cliquer sur une date et une heure pour voir le fichier tel qu’il était à ce moment-là
Date et heure | 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> |}}) |
Pages contenant l’image
La page ci-dessous contient cette image :