数值逻辑相关硕士博士期刊学术论文

本文就Ｇ·弗雷格为构建一阶逻辑语言，把数学概念“函项”、“主目”、“值”等，通过类比和普遍化方法而以分析命题的逻辑结构，并用......