دانلود فایل منبع Proof and disproof in formal logic: an introduction for programmers
. این منبع (کتاب) توسط Richard Bornat نوشته شده و
است و منتشر شده در سال 2005 می باشد
توجه: فایل درخواستی حداکثر 8 ساعت بعد ارسال خواهد شد.
شماره کارت : 6104337650971516 شماره حساب : 8228146163 شناسه شبا (انتقال پایا) : IR410120020000008228146163 بانک ملت به نام مهدی تاج دینی