ログイン
会員登録
ゲンツェン流シーケント計算
書いてみる
関連タグ
#ZFC (453)
#ZFC公理系 (28)
#シーケント (1)
#シーケント計算 (1)
#一階述語論理 (5)
#二重否定除去則 (2)
人気
急上昇
新着
定番
有料のみ
1件
人気の記事一覧
日記(2021/8/1):読書要約をやっていたら今日が終わってしまった。マジかよ(注:論理と集合と数の専門的な話)
犬神工房
3年前
2