@article{oai:nitech.repo.nii.ac.jp:00001705,
 author = {大芝, 猛 and 永田, 周郎 and 舟橋, 栄},
 journal = {名古屋工業大學學報},
 month = {Mar},
 note = {application/pdf},
 pages = {109--112},
 title = {付随式を用いる1階述語論理の妥当性検証手続},
 volume = {36},
 year = {1985},
 yomi = {オオシバ, タケシ}
}