File:LK groupe ident.png
No higher resolution available.
LK_groupe_ident.png (338 × 36 pixels, file size: 1 KB, MIME type: image/png)
Captions
Captions
Add a one-line explanation of what this file represents
Summary
edit
| Description | Mathematical formula: identity group of sequent calculus LK |
| Date | |
| Source | tex file |
| Author | Laurent Regnier |
Licensing
edit
|
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 | 15:55, 4 January 2006 | | 338 × 36 (1 KB) | Lregnier (talk | contribs) | Category:Logics {{Information |Description = Mathematical formula: identity group of 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.
