TY  - BOOK
AU  - Gabbay Dov
AU  - Metcalfe George
AU  - Olivetti Nicola
TI  - Proof theory for fuzzy logics
SN  - 978-1-4020-9408-8
U1  - 511.313 
PY  - 2009///
CY  - New York
PB  - Springer-Verlag
KW  - Fuzzy logic
KW  - Proof theory
ER  -