今年是胡世华院士逝世十周年，《胡世华文集》在中科院软件所历届领导的关怀下，在所内外同行的支持下，日前由科学出版社出版。该文集收录了胡院士的主要著作，内容主要有逻辑演算、递归函数论和科学哲学三个领域，比较完整地概况了其研究工作的情况。

    值此周年纪念，谨以此书献给仙逝的胡先生和曾经与之一起工作、学习过的同事、朋友，献给在数理逻辑领域继续探索的同仁、学子。