Excluded_middle_proof.png(238 × 176 ピクセル、ファイルサイズ: 2キロバイト、MIME タイプ: image/png)

概要

解説 Proof of the excluded middle law in sequent calculus
日付
原典 tex file
作者 Paul Brauner

ライセンス

Public domain この著作物の著作権者である私は、この著作物における権利を放棄しパブリックドメインとします。これは全世界で適用されます。
一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。
私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。

キャプション

このファイルの内容を1行で記述してください

このファイルに描写されている項目

題材

28 2 2006

ファイルの履歴

過去の版のファイルを表示するには、その版の日時をクリックしてください。

日付と時刻サムネイル寸法利用者コメント
現在の版2006年2月27日 (月) 23:492006年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'' |}}

以下のページがこのファイルを使用しています:

グローバルなファイル使用状況

以下に挙げる他のウィキがこの画像を使っています: