کتاب زبان اصلی Lectures on the CurryHoward Isomorphism  اثر جمعی از نویسندگان معرفی کتاب Lectures on the CurryHoward Isomorphism Volume 149 Studies in Logic and the Foundations of Mathematics Volume 149 سخنرانی هایی درباره نگاشت کاریهاوارد نوشته مورتن هاینه سورنسن و پاول اوژیچین x000D   x000D  کتاب سخنرانی هایی درباره نگاشت کاریهاوارد نوشته مورتن هاینه سورنسن و پاول اوژیچین در سال 2006 میلادی به زبان انگلیسی منتشر شده است این کتاب به بررسی نگاشت کاریهاوارد که یک ایزومورفیسم بین منطق و نظریه ی اثبات است می پردازد  x000D   x000D  کتاب شامل مباحثی چون معرفی نظام های استنتاج طبیعی مدل های نظریه ی اثبات الگوریتم های تطبیق الگو و نگاشت کاریهاوارد است این کتاب برای دانشجویان و محققان علایق مند به منطق رایانه ای و نظریه ی اثبات مفید است x000D   x000D