File:LK dem contraposition.png
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
LK_dem_contraposition.png (298 × 115 pixels, file size: 3 KB, MIME type: image/png)
File information
Structured data
Captions
Summary
[edit]DescriptionLK dem contraposition.png | Mathematical formula: an example of a proof in sequent calculus LK |
Date | |
Source | tex file |
Author | Laurent Regnier |
Licensing
[edit]Public domainPublic domainfalsefalse |
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 16:53, 4 January 2006 | 298 × 115 (3 KB) | Lregnier (talk | contribs) | 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> |}} |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on fr.wikipedia.org
Hidden categories: