著者典拠情報

著者標目形：
Mundici, Daniele, 1946-
属性：
Personal
日付：
1946
注記：
Computational logic and proof theory, 1993: CIP t.p. (Daniele Mundici) data sheet (b. 03-18-46)
著者典拠ID：
DA07561593


1.

図書
図書
1. Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings (:pbk)
Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: 図書館
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
シリーズ名: Lecture notes in computer science ; 713
所蔵情報: 図書館