Computational logic and proof theory：5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Corporate Authors: Kurt Gödel Colloquium 1997 Vienna, Austria) (Vienna, Austria)); Kurt Gödel Society.
Group Author: (Georg); Leitsch Alexander, 1952-; Mundici Daniele, 1946-; Gottlob G.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301.6-532/C738/1997/