@misc{oai:repository.nii.ac.jp:02000053,
 month = {Dec},
 note = {礎としての数理・論理},
 title = {NII Today 46},
 year = {2009}
}