constructive logic

美 
英 
  • un.构造性逻辑
  • 网络构造逻辑
un.
1.
构造性逻辑