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