Metamathematics Of Fuzzy Logic by Petr Hajek & Petr H. Jek