بنیادهای منطق نگریک

نویسنده : هیلبرت - داویدآکرمان - ویلهلم
مترجم : ادیب‌سلطانی - شمس‌الدین
محل نشر : تهران
تاریخ نشر : ۱۳۸۱/۰۲/۰۷
رده دیویی : ۵۱۱.۳
قطع : وزیری
جلد : شومیز
تعداد صفحه : ۳۳۶
نوع اثر : ترجمه
زبان کتاب : فارسی
نوبت چاپ : ۱
تیراژ : ۲۰۰۰
شابک : ۹۶۴-۰۰-۰۷۷۴-۹

در این کتاب موضوع منطق ریاضی برای اولین بار به اهتمام 'ویلهلم آکرمان' 1896ـ 1962(ریاضی‌دان آلمانی) در سال 1928به چاپ رسید .آکرمان در این کتاب روش منطق صوری ریاضیات را با استفاده از فرمول‌های مختلف شرح می‌دهد . عناوین کتاب از این قرار است' :حساب گزاره‌ها', 'حساب روده‌ها', 'حساب محمول‌های محمدودتر', 'حساب محمول‌های گسترده شده 'در انتهای کتاب واژه‌نامه و نمایه موضوعی به چاپ رسیده است .