2009-01-13 ■ 注文文献 注文文献 Petr Hájek Metamathematics of Fuzzy Logic, Springer, Trends in Logic, vol. 4, 2002