暂无分享，去创建一个
Wilhelm Ackermann | W. Ackermann
[1] W. Ackermann. Untersuchungen über das Eliminationsproblem der mathematischen Logik , 1935 .
[2] Heinrich Behmann,et al. Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem , 1922 .