File:Excluded middle proof.png
Excluded_middle_proof.png (238 × 176 pixels, file size: 2 KB, MIME type: image/png)
File information
Structured data
Captions
Summary
editDescriptionExcluded middle proof.png | Proof of the excluded middle law in sequent calculus |
Date | |
Source | tex file |
Author | Paul Brauner |
Licensing
editPublic 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 | 23:49, 27 February 2006 | 238 × 176 (2 KB) | Polux~commonswiki (talk | contribs) | {{Information |Description = Proof of the excluded middle |Date = 28 feb 2006 |Author = Paul Brauner |other_versions = ''none'' |}} |
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 af.wikipedia.org
- Usage on eo.wikipedia.org
- Usage on fr.wikibooks.org
- Usage on fr.wikiversity.org
- Usage on ja.wikipedia.org