>

constructive logic

📖 中文释义

  1. [计] 构造性逻辑