完全性定理
Contributors 1
Tracers 0
トレースする

全 1 記事

解説
大学数学以上
by
h_yagisita
at
2020年11月08日
「部分関数を含む数学的構造」の意味論、形式証明系、完全性定理
数理論理学，完全性定理，部分関数
16
0