著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
河本 綏雄,Natural Deductionを用いた定理の証明法について,東京理科大学経営科学研究,,[東京] : 東京理科大学工学部経営工学科,1978-07,3,1,p1-6,https://cir.nii.ac.jp/crid/1520853832338409856,