منطق بسیار مرتب شده و کاربردهای آن
Many-sorted Logic and its Applications
نویسنده: K. Meinke, J. V. Tucker
ناشر: Wiley
سال انتشار: 1993
تعداد صفحات: 208
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 27 مگابایت
توضیحی برای این کتاب ثبت نشده است.