Dosiero:Excluded middle proof.png
Salti al navigilo
Salti al serĉilo
Nenia pli granda distingivo havebla.
Excluded_middle_proof.png (238 × 176 rastrumeroj, dosiera grandeco: 2 KB, MIME-tipo: image/png)
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. |
Dosiera historio
Klaku daton/tempon por vidi la dosieron kia ĝi aspektis tiam.
| Dato/tempo | Bildeto | Dimensioj | Uzanto | Komento | |
|---|---|---|---|---|---|
| nuna | 00:49, 28 feb. 2006 | | 238 × 176 (2 KB) | wikimediacommons>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:
