胡世华文集

胡世华著2008 年出版776 页ISBN：7030213912

数理逻辑基础：介绍数理逻辑的基础知识，包括逻辑演算的基本内容，与1981年出版的书有所不同。数理逻辑与计算机科学方面的学术论文：论人造的语言，命题演算之所指，一个0值命题演算的构造，四值命题演算与四色问题，0......