@article{oai:barrel.repo.nii.ac.jp:00001617,
 author = {兼岩, 龍二},
 journal = {小樽商科大学人文研究},
 month = {Mar},
 pages = {57--81},
 title = {高階古典論理の形式的体系の試作 I},
 volume = {87},
 year = {1994}
}