کتاب مبحثی در منطق ریاضی اثر شاشی موهان سریواستاوا نشر مرکز نشر دانشگاهی

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