000 01494cam a22004217a 4500
001 7871970
003 OSt
005 20210914122522.0
006 m d
007 cr n
008 080925s2009 ne a sb 001 0 eng d
015 _aGBA8D1349
_2bnb
016 7 _a014821662
_2Uk
016 7 _aB0901145
_2bccb
020 _a9781402094088 (hbk.)
035 _a(WaSeSS)ssj0000229263
038 _akhadija
040 _aUKM
_cUKM
_dYDXCP
_dOHX
_dNLGGC
_dCDX
_dBWX
_dGZM
_dDLC
_dWaSeSS
042 _aukblcatcopy
_alccopycat
050 4 _aQA9.64
_b.M48 2009
082 0 4 _a511.313
_222
_bMET
100 1 _aMetcalfe, George.
_982452
210 1 0 _aProof theory for fuzzy logics
245 1 0 _aProof Theory for Fuzzy Logics /
_cby George Metcalfe, Nicola Olivetti, Dov Gabbay.
260 _a[Dordrecht] :
_bSpringer,
_cc2009.
440 0 _aApplied logic series ;
_v36
_982453
504 _aIncludes bibliographical references (p. 259-267) and index.
506 _aLicense restrictions may limit access.
563 _ahardcover
650 0 _aFuzzy logic.
_960142
650 0 _aProof theory.
_982454
700 1 _aOlivetti, Nicola.
_982455
700 1 _aGabbay, Dov M.,
_d1945-
_982456
773 0 _tSpringerLink ebooks - Mathematics and Statistics (2009)
856 4 0 _uhttp://www.columbia.edu/cgi-bin/cul/resolve?clio7871970
_zFull text available from SpringerLink ebooks - Mathematics and Statistics (2009)
910 _aLibrary of Congress record
942 _2ddc
_cBK
999 _c31952
_d31952