bibliographic details : Metamathematics of fuzzy logic /