波兰表示法论文

主持人语：中国逻辑学会会长邹崇理研究员波兰逻辑学家卢卡西维茨曾建立被称为波兰表示法的符号系统，仅仅使用联结词符号就可以无歧义地表达公式。中国逻辑学家张清宇先生在20世纪90年代...