logic2
自然演繹法(html)
自然演繹法(pdf)
多項述語＆同一性［課題］(html)
多項述語＆同一性［課題］(pdf)
(Email address:
akyah59@hiroshima-u.ac.jp
)