@techreport{weko_31055_1,
   author	 = "佐藤雅彦",
   title	 = "（3）〔講演〕Symbolic Set Theory　－構成的数学に基づくプログラム理論－",
   year 	 = "1988",
   institution	 = "東北大",
   number	 = "76(1988-PRO-026)",
   month	 = "oct"
}