@article{oai:repository.lib.tottori-u.ac.jp:00000585,
 author = {田畑, 博敏 and Tabata, Hirotoshi},
 issue = {1},
 journal = {鳥取大学教育地域科学部紀要. 地域研究, Tottori University journal of the Faculty of Education and Regional Sciences. Regional Sciences},
 month = {Jul},
 pages = {37--84},
 title = {第二階論理によるペアノ算術},
 volume = {4},
 year = {2002},
 yomi = {タバタ, ヒロトシ}
}