逻辑类型论相关论文
基于现代逻辑思想的形式语义学理论,离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分＂完全＂、＂不完全＂表达式的讨......
本文对伟大的数学家和逻辑学家伯特兰·罗素的数学逻辑主义思想进行了研究和探讨。 在前言中，简要地介绍了罗素的数学逻辑主义思......
