文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O141/7B:2 | 数理逻辑基础 | 胡世华, 陆钟万著 | 科学出版社 | 2015.11 |
| 2 | O141/7A | 数理逻辑基础 | 胡世华,陆钟万著 | 科学出版社 | 1981.01 |
| 3 | O141/17=2 | 面向计算机科学的数理逻辑 | 陆钟万著 | 科学出版社 | 2002.1 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | O141/7B:2 | 数理逻辑基础 | 胡世华, 陆钟万著 | 科学出版社 | 2015.11 |
| 2 | O141/7A | 数理逻辑基础 | 胡世华,陆钟万著 | 科学出版社 | 1981.01 |
| 3 | O141/17=2 | 面向计算机科学的数理逻辑 | 陆钟万著 | 科学出版社 | 2002.1 |