@techreport{weko_31173_1,
   author	 = "岡田,光弘",
   title	 = "項書き換え理論における順序構造と証明論的順序数の理論　－項書き換えシステムによる記号処理への論理学の応用にむけて－",
   year 	 = "1987",
   institution	 = "イリノイ大学コンピュータ・サイエンス学科",
   number	 = "10(1986-PRO-020)",
   month	 = "feb"
}