| 其他書名 | N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic |
| 出版 | Springer, 2006-11-14 |
| 主題 | Mathematics / LogicMathematics / History & PhilosophyMathematics / General |
| ISBN | 35403588629783540358862 |
| URL | http://books.google.com.hk/books?id=Ngd8CwAAQBAJ&hl=&source=gbs_api |
| EBook | SAMPLE |