文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | H31:O141/10 | course in mathematical logic | by J. L. Bell and M. Machover | North-Holland Pub. Co | 1977 |
| 2 | H31:O144/2=2 | Set theory | K. Kuratowski and A. Mostowski | PWN-Polish Scientific Pu | 1976 |
文献检索列表 |
| 序号 | 索取号 | 正题名 | 责任者 | 出版者 | 出版日期 |
| 1 | H31:O141/10 | course in mathematical logic | by J. L. Bell and M. Machover | North-Holland Pub. Co | 1977 |
| 2 | H31:O144/2=2 | Set theory | K. Kuratowski and A. Mostowski | PWN-Polish Scientific Pu | 1976 |