Fichier:LK dem contraposition.png
LK_dem_contraposition.png (298 × 115 pixels, taille du fichier : 3 kio, type MIME : image/png)
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 :