close
1.

図書
図書
1. Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings (: pbk)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: loading…
2.

図書
図書
2. Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings (: us ; : gw)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 713
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼