20/02/12 00:41:06 8axgfTbD.net
下記の
数理論理学（1）
小野 寛晰
Ono Hiroakira
情報処理,20(8), (1979-08-15)
にも、コンパクト性定理の解説があるよ
URLﾘﾝｸ(ipsj.ixsq.nii.ac.jp)
情報処理学会
数理論理学（4）
小野 寛晰
Ono Hiroakira
情報処理,20(12), (1979-12-15)
数理論理学（3）
小野 寛晰
Ono Hiroakira
情報処理,20(11), (1979-11-15)
数理論理学（2）
小野 寛晰
Ono Hiroakira
情報処理,20(9), (1979-09-15)
URLﾘﾝｸ(ipsj.ixsq.nii.ac.jp)
数理論理学（1）
小野 寛晰
Ono Hiroakira
情報処理,20(8), (1979-08-15)