Metamathematics of fuzzy logic - Hajek, Petr (Kluwer, 1998)