自動書庫

Web出庫サービス

 

出庫指示

  • Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
  • : gw
  • 061232004011385
  • 図書
サイト内検索