ファイル:Excluded middle proof.png
高解像度版はありません。
Excluded_middle_proof.png (238 × 176 ピクセル、ファイルサイズ: 2キロバイト、MIME タイプ: image/png)
|
ウィキメディア・コモンズのファイルページにある説明を、以下に表示します。
|
概要
| 解説 | Proof of the excluded middle law in sequent calculus |
| 日付 | |
| 原典 | tex file |
| 作者 | Paul Brauner |
ライセンス
|
この著作物の著作権者である私は、この著作物における権利を放棄しパブリックドメインとします。これは全世界で適用されます。 一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。 私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。 |
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
| 日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
|---|---|---|---|---|---|
| 現在の版 | 2006年2月27日 (月) 23:49 | | 238 × 176 (2キロバイト) | Polux~commonswiki | {{Information |Description = Proof of the excluded middle |Date = 28 feb 2006 |Author = Paul Brauner |other_versions = ''none'' |}} |
ファイルの使用状況
以下のページがこのファイルを使用しています:
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- af.wikipedia.org での使用状況
- eo.wikipedia.org での使用状況
- fr.wikibooks.org での使用状況
- fr.wikiversity.org での使用状況
