2021/01/26

Craigの絡繰とその相対化

Alwe

フォローする

解説

大学数学以上

文献あり

Craigの絡繰とその相対化

数理論理学，Craigの絡繰，再帰理論

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日

PDF

この記事を高評価した人

詳しくみる

投稿者

@Alwe

@ptykes

関連記事

否定論理積(NAND)の完全性 (二元体上の写像)

「部分関数を含む数学的構造」の意味論、形式証明系、完全性定理

コメント

コメントはありません。