Dosiero:Excluded middle proof.png
Jen estas la maksimuma distingivo de la supra bildo.
Excluded_middle_proof.png ((238 × 176 rastrumeroj, grandeco de dosiero: 2 KB, MIME-tipo: image/png))
|
Jen dosiero de la Wikimedia-Komunejo. La priskribo en ties priskriba paĝo estas montrata suben.
|
Resumo
| Priskribo | Proof of the excluded middle law in sequent calculus |
| Dato | |
| Fonto | tex file |
| Aŭtoro | Paul Brauner |
Permesiloj:
|
Mi, la posedanto de la aŭtorrajto por ĉi tiu verko, liberigas ĝin tutmonde kiel publikan havaĵon. En iuj landoj tio povas esti laŭleĝe neebla; en tiu okazo: Mi rajtigas ĉiun ajn uzi ĉi tiun verkon por ajna celo, sen iuj ajn kondiĉoj, krom se tiuj kondiĉoj estas postulataj per leĝo. |
Dosierhistorio
Alklaku iun daton kaj horon por vidi kiel la dosiero tiam aspektis.
| Dato/Horo | Bildeto | Grandecoj | Uzanto | Komento | |
|---|---|---|---|---|---|
| nun | 23:49, 27 feb. 2006 | | 238 × 176 (2 KB) | Polux~commonswiki | {{Information |Description = Proof of the excluded middle |Date = 28 feb 2006 |Author = Paul Brauner |other_versions = ''none'' |}} |
Dosiera uzado
La jena paĝo ligas al ĉi tiu dosiero:
Suma uzado de la dosiero
La jenaj aliaj vikioj utiligas ĉi tiun dosieron:
- Uzado en af.wikipedia.org
- Uzado en fr.wikibooks.org
- Uzado en fr.wikiversity.org
- Uzado en ja.wikipedia.org
