کتاب Lectures on the Curry-Howard Isomorphism اثر جمعي از نويسندگان انتشارات Elsevier Science

کتاب شامل مباحثی چون معرفی نظام‌های استنتاج طبیعی، مدل‌های نظریه‌ی اثبات، الگوریتم‌های تطبیق الگو و نگاشت کاری-هاوارد است. این کتاب برای دانشجویان و محققان علایق‌مند به منطق رایانه‌ای و نظریه‌ی اثبات مفید است.