@article{weko_6317_1,
   author	 = "田村,浩一郎 and 大谷木,重夫",
   title	 = "論理と関数",
   journal	 = "情報処理",
   year 	 = "1982",
   volume	 = "23",
   number	 = "11",
   month	 = "nov"
}