عنوان
پدید آورنده
موضوع
رده
QA 9 .64 .M48 2009
QA
9
.
64
.
M48
2009
کتابخانه
محل استقرار
152049
زمستان۹۸
English
)20(
Metcalfe, George
Proof theory for fuzzy logics
]Dordrecht[
Springer
2009
viii, 276 p.: ill.; 24 cm
Applied logic series
36
Includes bibliographical references and index
، Fuzzy logic
، Proof theory
QA
9
.
64
.
M48
2009
AU
by George Metcalfe, Nicola Olivetti, Dov Gabbay
AU alociN ,ittevilO
AU M voD ,yabbaG 1945-
TI
SE
02
