直觉主义逻辑的语义基础

本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些新的观念，并进行了论证，从某种意义上可以说发展了第一阶段的直觉主义。