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