Email Address * *
Name
Subject *
Message * Computational Logic and Proof Theory Third Kurt Gòˆdel Colloquium, Kgc'93, Brno, Czech Republic, August 1993 : Proceedings - 0387571841 - 9780387571843