TY  - BOOK
AU  - Metcalfe,George
AU  - Olivetti,Nicola
AU  - Gabbay,Dov M.
TI  - Proof Theory for Fuzzy Logics
SN  - 9781402094088 (hbk.)
AV  - QA9.64 .M48 2009
U1  - 511.313 22
PY  - 2009///
CY  - [Dordrecht]
PB  - Springer
KW  - Fuzzy logic
KW  - Proof theory
N1  - Includes bibliographical references (p. 259-267) and index; License restrictions may limit access
UR  - http://www.columbia.edu/cgi-bin/cul/resolve?clio7871970
ER  -