Metamathematics of fuzzy logic - Hájek, Petr, 1940-2016 (Trends in Logic. Studia logica library ;, 1998)