«
»

Intuitionistic logic – Wikipedia, the free encyclopedia

Intuitionistic logic – Wikipedia, the free encyclopedia.

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

This entry was posted on 星期三, 八月 11th, 2010 at 上午 2:49 by admin and is filed under Uncategorized. You can follow any responses to this entry through the RSS 2.0 feed. Both comments and pings are currently closed.

Comments are closed.