Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
2021/01/26
Craigの絡繰とその相対化
Alwe
Alwe
フォローする
解説
大学数学以上
文献あり
Craigの絡繰とその相対化
数理論理学
,
Craigの絡繰
,
再帰理論
5
共有
Tweet
URL
PDF
参考文献
W. Craig, On axiomatizability within a system, The Journal of Symbolic Logic 18 (1), 1953, 30–32
59
投稿日:2020年11月12日
最終更新日:2021年01月26日
5
共有
Tweet
URL
PDF
この記事を高評価した人
詳しくみる
投稿者
@Alwe
Alwe
@ptykes
関連記事
否定論理積(NAND)の完全性 (二元体上の写像)
2元体
「部分関数を含む数学的構造」の意味論、形式証明系、完全性定理
コメント
コメントはありません。
ヨビノリ たくみ 氏 絶賛!
詳細へ
購入へ