دانلود کتاب Type theory and formal proof: an Introduction

معرفی کتاب Type theory and formal proof: an Introduction

کتاب Type theory and formal proof: an Introduction نوشته Geuvers, Jan Herman; Nederpelt, R. P یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Type theory and formal proof: an Introduction

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Type theory and formal proof: an Introduction را از طریق سایت سایبر یونی تجربه کنید.