胡世華撰寫了有關數理邏輯的專著和許多闡明數理邏輯和數學基礎的特徵和意義的論文,例如《數理邏輯基礎》(與陸鐘萬合著)、《數理邏輯的基本特徵和科學意義》、《略論...
《數理邏輯基礎(上冊)》是由科學出版社於1981年1月出版的一本圖書,作者是胡世華、陸鐘萬。...
16 一般遞歸函式的範式 胡世華 陸鐘萬 17 高速度發展我國數理邏輯事業——在中國數學會第二次全國代表大會上的發言 胡世華 18 關於開展控制論問題研究的意見 胡世華...
《數理邏輯與機器證明》是由科學出版社於1983年11月出版的一本圖書,作者是陸鐘萬。...... 邏輯與機器證明》是由科學出版社於1983年11月出版的一本圖書,作者是陸...