Untersuchungen zum Entscheidungsproblem der mathematischen Logik
暂无分享,去创建一个
[1] Wilhelm Ackermann. Über die Erfüllbarkeit gewisser Zählausdrücke , 1928 .
[2] P. Bernays,et al. Zum Entscheidungsproblem der mathematischen Logik , 1928 .
暂无分享,去创建一个
[1] Wilhelm Ackermann. Über die Erfüllbarkeit gewisser Zählausdrücke , 1928 .
[2] P. Bernays,et al. Zum Entscheidungsproblem der mathematischen Logik , 1928 .