ویلهلم آکرمان (1896 – 1962) برابر انگلیک (انگلیسی): Wilhelm Ackermann انبازیها: گسترشها Begründung Einer Strengen implikation Justification Strict implication 1956 داتار ویلهلم آکرمان