ファイル: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月28日 (火) 00:49 | | 238 × 176 (2キロバイト) | wikimediacommons>Polux~commonswiki | {{Information |Description = Proof of the excluded middle |Date = 28 feb 2006 |Author = Paul Brauner |other_versions = ''none'' |}} |
ファイルの使用状況
以下のページがこのファイルを使用しています:
