Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen
暂无分享，去创建一个
[1] G. Mints,et al. Finite investigations of transfinite derivations , 1978 .
[2] S. G. Simpson,et al. The use of abstract language in elementary metamathematics: Some pedagogic examples , 1975 .