@article{oai:iuk-repo.repo.nii.ac.jp:00001408,
 author = {ナカジマ, マスミ and 中嶋, 眞澄 and Nakajima, Masumi},
 issue = {4},
 journal = {鹿児島経済論集, The Kagoshima journal of economics},
 month = {Mar},
 note = {application/pdf, In this paper we give the inverse of Herbrand's deduction meta-theorem　which is not seen in almost all text books as far as the author knowes., 論文(Article)},
 pages = {315--319},
 title = {Herbrandの演繹メタ定理の逆（注意）},
 volume = {63},
 year = {2023}
}