Metamathematics of Fuzzy Logic - Hájek, Petr (Trends in Logic, Studia Logica Library, 1998)