分面检索

图书馆

1. 广州城市职业学院 (1)
2. 广州图书馆 (2)
3. 显示更多..

主题

1. computer science (1)
2. hyperproof (1)
3. logic, symbolic and mathematical (1)
4. macintosh (computer) (1)
5. 显示更多..

著者

1. barwise, jon (1)
2. bouma (1)
3. by jean-pierre koenig (1)
4. edited by gosse bouma (1)
5. erhard hinrichs (1)
6. etchemendy, john (1)
7. gosse (1)
8. gosse bouma (1)
9. jean-pierre (1)
10. jean-pierre koenig (1)
11. john barwise & john etchemendy (1)
12. koenig (1)
13. program by gerard allwein, mark greaves, and michael lenz (1)
14. with additional programming by alan bush ... [et al.] (1)
15. 显示更多..

出版日期

1. 1999 (2)
2. 1994 (1)
3. 显示更多..

文献类型

1. 外文图书 (2)
2. 图书 (1)
3. 显示更多..

语言种类

1. 英语 (3)
2. 显示更多..