Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... Notes in Computer Science (1289), Band 1289)

von: Daniele Mundici · Alexander Leitsch · Georg Gottlob Taschenbuch Details (Deutschland) ISBN: 978-3-540-63385-3 ISBN-10: 3-540-63385-5 Springer · 2008