海丁演算系统相关硕士博士期刊学术论文

阐述了直觉主义者的主要观点，认为海丁演算系统的提出是直觉主义逻辑最重要的发展，并对海丁演算系统的特点作了介绍和评价。同时介绍......