منطق ریاضی و برنامه های کاربردی: مجموعه مقالات جلسه منطق در کیوتو ، 1987
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987
نویسنده: C. T. Chong (auth.), Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1989
تعداد صفحات: 227
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت