Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
髙﨑 金久,記号論理の手習い(第15回)完全性定理(3),数学セミナー,03864960,東京 : 日本評論社,2013-12,52,12,76-82,https://cir.nii.ac.jp/crid/1523669554677002368,