Fichier:LK dem contraposition.png

Une page de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
LK_dem_contraposition.png(298 × 115 pixels, taille du fichier : 3 Kio, type MIME : image/png)

Description[modifier]

Description

Mathematical formula: an example of a proof in sequent calculus LK

Date
Source tex file
Auteur Laurent Regnier

Conditions d'utilisation[modifier]

Public domain Moi, propriétaire du copyright de 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 heureVignetteDimensionsUtilisateurCommentaire
actuel4 janvier 2006 à 18:53Vignette pour la version du 4 janvier 2006 à 18:53298 × 115 (3 Kio)LregnierCategory: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> |}}

La page suivante utilise ce fichier :