俺「ブルバキでも読むか」 ブルバキ「論理記号は◻︎，τ，∨，¬である」 (14ﾚｽ)
上
下
前次
1-
新
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
14
: 09/13(土)06:33
ID:kEVkV264(1)
AAS
ブルバキのτは、ヒルベルトのε計算らしい
□のほうはブルバキのオリジナルだけど
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.522s*