$\newcommand{\defeq}{\mathrel{\mathop:}=}$

## 2010/01/26

### 直構邏輯

--

Labels:

XOO2/04/2010 4:14 pm 說：

Intuitionistic logic is sometimes called constructive logic, so this name might be easy to translate to Chinese.