Peter Dybjer의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L? (Hardcover, 2012)
  • Sten Lindstrom, Erik Palmgren, Peter Dybjer (엮은이)
  • Springer Verlag | 2012년 07월
  • 309,530원 (18% 할인 / 15,480원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Paperback, 1995)
  • Peter Dybjer (엮은이)
  • Springer Verlag | 1995년 10월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Types for Proofs and Programs: International Workshop, Types'99, L?eberg, Sweden, June 12-16, 1999, Selected Papers (Paperback, 2000)
  • Peter Dybjer (엮은이)
  • Springer Verlag | 2000년 12월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Types for Proofs and Programs (Paperback) - International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings
  • Peter Dybjer, Bengt Nordstrom, Jan M. Smith (엮은이)
  • Springer Verlag | 1995년 12월
  • 93,200원 (18% 할인 / 4,660원)
  • 택배로 주문하면 11월 22일 출고 변경

검색결과에 만족하시나요?

뒤로가기
위로가기