构造性逻辑的英文翻译

中文：构造性逻辑