最大化(Full Version) |
トラックバック |
ユーザ情報 |
お気に入り画像登録
画像情報
投稿者：ポストキュビスム
以下のURLを貼り付けることで、ブログや自身のホームページで画像を共有することができます。
画像情報
投稿者：ポストキュビスム
基本情報
| タイトル | 証明論の体系の関係図 | ||||
| タグ | *数理論理学 | ||||
| コメント | 最小論理・直観主義論理・古典論理を縦軸に、 ヒルベルト流証明論・自然演繹・ゲンツェン流シークエント計算を横軸にしました。 主な具体例です。 |
||||
| ｉコード | i413191 | 掲載日 | 2019年 10月 10日 (木) 13時 50分 01秒 | ||
| ジャンル | その他 | 形式 | JPG | 画像サイズ | 2653×1641 |
| ファイルサイズ | 485,995 byte | ||||
リンク・トラックバック
| ◆この画像のURL | |
| ◆この画像のトラックバックURL |
以下のURLを貼り付けることで、ブログや自身のホームページで画像を共有することができます。
Gamma版につき現在、評価/コメント機能はありません。機能はユーザの意見を参考に随時追加します。
Gamma version.This site is Japanese only.
-みてみん(Mitemin)-