[중고 직수입양서]
Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3-6, 2001. Proceedings
[중고 도서]
Nicene and Post-Nicene Fathers of the Christian Church - Vol.III ST. Augustine: On the Holy Trinity, Doctrinal Treatises, Moral Treatises(First Series)