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