自然演繹 (Natural Deduction)

作成日 2013/06/23 / 得票はありません → 投票する

新しい画像を作成する場合はここをクリック

自然演繹 (Natural Deduction)
画像URL:

自然演繹 (Natural Deduction)
画像URL:

削除依頼

同一作者による画像

進撃のラムダ (lambda calculus) カリー＝ハワード同型 (Curry-Howard isomorphism) お茶の水女子大学 (Ochanomizu University) 自然演繹 (attack on titan)
進撃のλ (lambda calculus) 進撃の巨人 (attack on Giants)

進撃の巨人ロゴジェネレーター