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