暂无分享,去创建一个
G. Gentzen | Gerhard Gentzen
[1] P. Hertz. Über Axiomensysteme für beliebige Satzsysteme , 1929 .