Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
園部 おさむ,"中間論理,様相論理のBeth型タブロー証明系〔英文〕",津田塾大学紀要 = Journal of Tsuda University,02877805,小平 : 津田塾大学全学研修・紀要委員会,1977,,9,p49-60,https://cir.nii.ac.jp/crid/1520572360379252736,