Intuitionistic logic – Wikipedia, the free encyclopedia

Intuitionistic logic – Wikipedia, the free encyclopedia.

直觉主义逻辑,由希尔伯特式的演算规则构造

Comments are closed.