Dosiero:Excluded middle proof.png

El testwiki
Salti al navigilo Salti al serĉilo
Excluded_middle_proof.png (238 × 176 rastrumeroj, dosiera grandeco: 2 KB, MIME-tipo: image/png)

Ĉi tiu dosiero estas de Vikimedia Komunejo kaj estas uzebla de aliaj projektoj. Jen la priskribo en ties dosier-priskriba paĝo.

Resumo

Priskribo Proof of the excluded middle law in sequent calculus
Dato
Fonto tex file
Aŭtoro Paul Brauner

Permesiloj:

Public domain 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.

Titoloj

Donu unulinian priskribon de la enhavo de ĉi tiu dosiero

Eroj prezentitaj en ĉi tiu dosiero

montras

2 009 bajto

176 rastrumero

238 rastrumero

image/png

72df9f769c102b1f7083228ce904e7ff41cb78b3

Dosiera historio

Klaku daton/tempon por vidi la dosieron kia ĝi aspektis tiam.

Dato/tempoBildetoDimensiojUzantoKomento
nuna00:49, 28 feb. 2006Bildeto por versio ekde 00:49, 28 feb. 2006238 × 176 (2 KB)wikimediacommons>Polux~commonswiki{{Information |Description = Proof of the excluded middle |Date = 28 feb 2006 |Author = Paul Brauner |other_versions = ''none'' |}}

La jena paĝo ligas al ĉi tiu dosiero: