|
- Computational Logic and Proof Theory: Third Kurt G?el Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Paperback, 1993)
- Georg Gottlob, Alexander Leitsch, Daniele Mundici (엮은이)
- Springer Verlag | 1993년 08월 | 1993년 08월
- 81,680원 (18% 할인 / 4,090원)
- 택배로 주문하면 10월 17일 출고 변경
|
|