000 00552pam a2200169a 44500
008 160408b2009 xxu||||| |||| 00| 0 eng d
020 _a9781402094088
040 _aIIT, Kanpur
082 _a511.313
_bM565p
100 _aMetcalfe, George
245 1 _aProof theory for fuzzy logics
_cGeorge Metcalfe, Nicola Olivetti and Dov Gabbay
260 _a[S.L.]
_bSpringer
_c2009
300 _aviii, 276p
440 _aApplied Logic Series / Edited By Dov M. Gabbay
_vV.36
700 _aOlivetti, Nicola
997 _aA167458 C
999 _c365082
_d365082