暂无分享，去创建一个
Vladimir Lifschitz | V. Lifschitz
[1] A. S. Troelstra. Intuitionistic formal systems , 1973 .