|
- 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월
- 77,880원 (18% 할인 / 3,900원)
- 택배로 주문하면 11월 25일 출고 변경
|
|