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