کتاب از ارسطو تا گودل

جدا کردن دلالت شناسی از نحوشناسی و وضع اصطلاح‌های جداگانه برای هریک کاری است که فرگه آگاهانه و منظم آغاز کرد و در نخستین کار مهم گودل، یعنی اثبات تمامیت منطق محمول‌های مرتبه اول، به اوج دقت خود رسید.

کتاب از ارسطو تا گودل توسط ضیاء موحد در 272 صفحه نوشته شده و در انتشارات هرمس به چاپ رسیده است.