|
- [외국도서] Computational Logic and Proof Theory: 5th Kurt G?el Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings (Paperback, 1997)
- Alexander Leitsch, Daniele Mundici , Georg Gottlob (엮은이)
- Springer Verlag | 1997년 08월 | 1997년 08월
- 76,850원 (18% 할인 / 3,850원)
- 택배로 주문하면 8월 9일 출고 변경
|
|