Context

Context of Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings, Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
Processing Feedback ...