[직수입양서]
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings
[
PaperbackPOD 주문제작도서 ]
Gottlob, Georg / Leitsch, Alexander / Mundici, Daniele
Springer
94,850원
포인트적립2,850원
Paperback, POD 주문제작도서