宮元研究室

述語論理における完全性定理について

2002MM032 伊藤寛之