著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 金井 範夫,アリストテレス式三段論法の一階述語論理に関する完全性,科学哲学,02893428,日本科学哲学会,1986,19,,113-127,https://cir.nii.ac.jp/crid/1390001205084729600,https://doi.org/10.4216/jpssj.19.113