logicians

خاطرات یک نظریه پرداز اثبات: گودل و منطق دانان دیگر

دانلود کتاب Memoirs of a proof theorist: Goedel and other logicians (به فارسی: خاطرات یک نظریه پرداز اثبات: گودل و منطق دانان دیگر) نوشته شده توسط «Gaisi Takeuti – Nicholas Passell – Mariko Yasugi» اطلاعات کتاب خاطرات یک نظریه پرداز اثبات: گودل و منطق دانان دیگر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: World Scientific Publishing Company نویسنده: Gaisi Takeuti – Nicholas Passell – Mariko Yasugi زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 155 حجم کتاب: 1 مگابایت کد کتاب: 9789812382795 , 9789812795359 , 9812382798 نوبت چاپ: Revised توضیحات کتاب خاطرات…