@misc{weko_15079_1,
   author	 = "府川和彦",
   title	 = "数理論理学E",
   howpublished	 = "application/pdf"
}