@article{oai:omu.repo.nii.ac.jp:00007648,
 author = {深山, 徹},
 journal = {大阪府立工業高等専門学校研究紀要},
 month = {Jul},
 note = {application/pdf, Article, 大阪府立工業高等専門学校研究紀要, 2006, 40, p.71-74},
 pages = {71--74},
 title = {大阪府立高専における特別研究 : 数理論理学入門},
 volume = {40},
 year = {2006}
}