最大化(Full Version) | トラックバック | ユーザ情報 | お気に入り画像登録


画像情報



投稿者：ポストキュビスム
基本情報
タイトル シークエント計算￢
タグ *数理論理学 *小説家になろう
コメント 古典論理の証明で使う。直観主義や最小については後で確認しておきます
ｉコード i398009 掲載日 2019年 08月 03日 (土) 14時 20分 02秒
ジャンル その他 形式 JPG 画像サイズ 965×200
ファイルサイズ 20,169 byte

◆この画像のURL
◆この画像のトラックバックURL

以下のURLを貼り付けることで、ブログや自身のホームページで画像を共有することができます。





Gamma版につき現在、評価/コメント機能はありません。機能はユーザの意見を参考に随時追加します。
Gamma version.This site is Japanese only.

-みてみん(Mitemin)-