Computational Logic and Proof Theory : Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Com

Computational Logic and Proof Theory : Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Com

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版
  • 言語 ENG
  • 商品コード 9780387571843
  • DDC分類 511.3

最近チェックした商品