دانلود کتاب Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
جنبه های جبری و نظری اثبات منطق غیر کلاسیک: مقالاتی به افتخار دانیل موندیچی به مناسبت 60 سالگی وی
زبان : English
نویسندگان : Arnon Avron, Anna Zamansky (auth.), Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540759387, 9783540759386
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4460 : Lecture Notes in Artificial Intelligence
تعداد صفحات : 309[317]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان