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