File:LK groupe logique.png
Jump to navigation
Jump to search
No higher resolution available.
LK_groupe_logique.png (452 × 284 pixels, file size: 7 KB, MIME type: image/png)
|
This is a file from the Wikimedia Commons. Information from its description page there is shown below.
Commons is a freely licensed media file repository. You can help. |
Summary
| Description | Mathematical formula: logic group of sequent calculus LK |
| Date | |
| Source | tex file |
| Author | Laurent Regnier |
Licensing
|
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:57, 4 January 2006 | | 452 × 284 (7 KB) | Lregnier | Category:Logics {{Information |Description = Mathematical formula: logic group of sequent calculus LK |Source = tex file |Date = 2006/01/04 |Author = Laurent Regnier |Permission = |other_versions = <i>none</i> |}} |
File usage
There are no pages that use this file.
Global file usage
The following other wikis use this file:
- Usage on en.wikipedia.org
