TY - BOOK AU - Metcalfe, George AU - Olivetti, Nicola TI - Proof theory for fuzzy logics SN - 9781402094088 U1 - 511.313 PY - 2009/// CY - [S.L.] PB - Springer ER -