Computation and deduction (lecture notes)
معرفی کتاب «Computation and deduction (lecture notes)» نوشتهٔ Frank Pfenning، منتشرشده توسط نشر Carnegie Mellon University در سال 1997. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است. «Computation and deduction (lecture notes)» در دستهٔ بدون دستهبندی قرار دارد.
Draft notes for a course given at Carnegie Mellon University during the fall semester of 1994.
دانلود کتاب Computation and deduction (lecture notes)