Metamathematics of fuzzy logic - Hájek, Petr, 1940-2016 (Trendsin logic, 1998)