Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... Notes in Computer Science (713), Band 713)

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