کتاب زبان اصلی Godels Incompleteness Theorems  اثر Raymond M Smullyan قضایای ناتمامیت گودل راهنماهای منطق آکسفورد 19 Godels Incompleteness Theorems Oxford Logic Guides 19 اثر ریموند ام اسمالیان x000D   x000D  این کتاب در سال 1992 منتشر شده است نویسنده در آن به بررسی قضایای مشهور ناتمامیت گودل می پردازد اسمالیان با استفاده از زبان ساده و شیوا مفاهیم پایه ای مانند ساختارهای صوری سیستم های صوری و تمامیت را توضیح می دهد سپس به تشریح اثبات قضیه اول و دوم ناتمامیت گودل و تبعات فلسفی آن ها می پردازد کتاب حاوی تمرین ها و مثال های فراوان است که به درک بهتر مطالب کمک می کند این اثر برای دانشجویان ریاضیات فلسفه منطق و علوم کامپیوتر مفید است x000D   x000D