زبان: فارسی
ردهبندی دیویی: 511.3
سال چاپ: 1381
نوبت چاپ: 1
تیراژ: 2000 نسخه
تعداد صفحات: 336
قطع و نوع جلد: وزیری (شومیز)
شابک 10 رقمی: 9640007749
شابک 13 رقمی: 9789640007747
کد کتاب در گیسوم: 1222716
توضیح کتاب:در این کتاب موضوع منطق ریاضی برای اولین بار به اهتمام "ویلهلم آکرمان" 1896 1962(ریاضیدان آلمانی) در سال 1928به چاپ رسید .آکرمان در این کتاب روش منطق صوری ریاضیات را با استفاده از فرمولهای مختلف شرح میدهد . عناوین کتاب از این قرار است" :حساب گزارهها"، "حساب رودهها"، "حساب محمولهای محمدودتر"، "حساب محمولهای گسترده شده "در انتهای کتاب واژهنامه و نمایه موضوعی به چاپ رسیده است .